Printer friendly version
FMICS 2009 - 14th International ERCIM Workshop on Formal Methods for Industrial Critical Systems
02 November 2009 — 03 November 2009
ERCIM (European Research Consortium for Informatics and Mathematics)
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry.
In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the
industrial usage of these methods.
These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications.
FMICS 2009 is part of the first Formal Methods Week (FMweek), which brings together a choice of events in the area.
For the latest information on FMweek, see http://www.win.tue.nl/fmweek