FMICS 200611th International Workshop on Formal Methods for Industrial Critical Systems
by Lubos 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 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 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.
FMICS Working Group: http://www.inrialpes.fr/vasy/fmics/
Pedro Merino Gómez, ERCIM FMICS Working Group coordinator, Universidad de Málaga / SpaRCIM
Tel: +34 952 132752