Towards a Platform for Widespread Embedded Intelligence - ERCIM

FMICS 2006 - 11th International Workshop
on Formal Methods for Industrial Critical Systems
by Luboš Brim and Martin Leucker
The 11th International Workshop on Formal Methods for Industrial Critical Systems
(FMICS 06) was held in Bonn, Germany, on August 26-27, 2006 as a satellite event
to the 17th International Conference on Concurrency Theory (CONCUR 2006).
The workshop, being also an annual meeting of the ERCIM Working Group,
continued successfully the aim of FMICS workshop series - to promote the use
of formal methods for industrial applications, by supporting research in this area
and its application in industry. The emphasis in these workshops is on the
exchange of ideas between researchers and practitioners, in both industry and
academia.
Previous workshops were held in Oxford
(March 1996), Cesena (July 1997),
Amsterdam (May 1998), Trento (July
1999), Berlin (April 2000), Paris (July
2000), Malaga (July 2002), Trondheim
(July 2003), Linz (September 2004), and
Lisbon (July 2005). The 2006 workshop
was organized by the Masaryk
University Brno and the Technical
University Munich. Forty two registered
participants from academia and industry
from about eleven countries attended the
workshop.
This year the program committee
received a record number of submissions.
The 16 accepted regular contributions
and 2 accepted tool papers, selected
out of a total of 47 submissions, cover
formal methodologies for handling large
state spaces, model based testing, formal
description and analysis techniques as
well as a range of applications and case
studies.
The workshop program included two
excellent invited talks, respectively by
Anna Slobodova from Intel on
'Challenges for Formal Verification in
Industrial Setting' and by Edward A. Lee
from University of California at
Berkeley on 'Making Concurrency
Mainstream'.
The award for the best paper was granted
this year to Michael Weber and Moritz
Hammer for their excellent paper 'To
Store or Not To Store' Reloaded:
Reclaiming Memory on Demand" on the
techniques for handling extremely large
state spaces in model checking of computer
systems. The award was granted
Best paper award winners Michael Weber and Moritz Hammer.
with the support of the European
Association of Software Science and
Technology (EASST).
The final proceedings of the workshop
will be published jointly with the 5th
International workshop on Parallel and
Distributed Methods in Verification
(PDMC 2006) as post-proceedings in the
Springer's Lecture Notes in Computer
Science. Selected papers will be invited
for publication in a special issue of the
International Journal on Software Tools
for Technology Transfer. The organizers
wish to thank CONCUR for hosting the
FMICS 2006 workshop and taking care
JOINT ERCIM ACTIONS
of many administrative aspects, and
ERCIM for its financial support of the
workshop. Additionally, the organizers
would like to thank EASST (European
Association of Software Science and
Technology), Faculty of Informatics,
Masaryk University Brno and the
Technical University Munich for supporting
this event.
Link:
FMICS Working Group:
http://www.inrialpes.fr/vasy/fmics/
Please contact:
Pedro Merino Gómez, ERCIM FMICS
Working Group coordinator, Universidad de
Málaga / SpaRCIM
Tel: +34 952 132752
E-mail: pedro@lcc.uma.es
http://www.lcc.uma.es/~pedro
ERCIM News No. 66, Otober 2006 9