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


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:

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:
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
submission deadline: 17 April 2001
notification: 14 May 2001
final paper: 28 May 2001

FMICS working group chair: Hubert Garavel
Workshop co-ordination: Stefania Gnesi and Ulrich Ultes-Nitsche
Local organization: Mihaela Sighireanu

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.

(c) 2000 Ulrich Ultes-Nitsche