FMICS 2001

6th International Workshop on
Formal Methods for Industrial Critical Systems
FMICS 2001
Paris, 16-17 July 2001

SCOPE OF THE WORKSHOP

The aim of the FMICS workshops is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops should bring together scientists that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. They also aim at the promotion of research and development for the improvement of formal methods and tools for industrial applications.

FMICS 2001 is held just before the Conference on Computer Aided Verification (CAV 2001).

Topics include, but are not restricted to:

Tools for the design and development of formal descriptions
Verification and validation of complex, distributed, real-time systems and embedded systems
Verification and validation methods that aim at circumventing shortcomings of existing methods in respect to their industrial applicability
Formal methods based conformance, interoperability and performance testing
Case studies and project reports on formal methods related projects with industrial participation (e.g. safety critical systems, mobile systems, object-based distributed systems)
Application of formal mehtods in standardization and industrial forums

Previous Workshops of the ERCIM working group on formal methods for Industrial Critical Systems were held in Oxford (March 1996), Cesena (July 1997), Amsterdam (May 1998), Trento (July 1999), and Berlin (April 2000).

Important Information:

PROGRAMME COMMITTEE J. Bicarregui (CLRC Abington, UK) M. Butler (University of Southampton, UK) L. Fredlund (SICS Stockholm, S) S. Gnesi (CNR/IEI Pisa, I) co-chair J.F. Groote (Eindhoven University of Technology, NL) H. Hermanns (University of Twente, NL) W.K. Lam (Sun Microsystems, Palo Alto, US) D. Latella (CNR/CNUCE Pisa, I) A. Maggiore (TransEDA, Eastleigh, UK) P. Marmo (Ansaldo Segnalamento Ferroviario, I) R. Mateescu (INRIA Rhone-Alpes, F) P. Merino Gómez (University of Málaga, ES) A. Poigné (GMD Bonn, D) I. Schieferdecker (GMD Berlin, D) M. Sighireanu (University of Paris-7 Jussieu, F) U. Ultes-Nitsche(University of Southampton, UK) co-chair	IMPORTANT DATES (updated) submission deadline: 17 April 2001 notification: 14 May 2001 final paper: 28 May 2001
	ORGANIZATION FMICS working group chair: Hubert Garavel Workshop co-ordination: Stefania Gnesi and Ulrich Ultes-Nitsche Local organization: Mihaela Sighireanu
	INVITED SPEAKERS Cindy Eisner, IBM Research Haifa, IL Joseph Sifakis, VERIMAG Grenoble, F

Please re-visit this web-page regularly to find latest information on FMICS 2001.