Printer friendly version Share


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

expertsvar 2015 Animated gif Millet FNSF ad eNEWS6 twitter ad Google+ New Norwegian logo