ERCIM News No.47, October 2001 [contents]

Sponsored by ERCIM

Sixth ERCIM FMICS International Workshop

by Hubert Garavel

FMICS is the ERCIM Working Group on Formal Methods for Industrially Critical Systems. Launched in 1996 by Diego Latella and Stefania Gnesi (CNR Pisa), the FMICS working group is currently chaired by Hubert Garavel (INRIA Rhone-Alpes).

The 6th ERCIM FMICS workshop was held in Paris on July 16-17, 2001. The program committee was chaired by Stefania Gnesi (IEI-CNR) and Ulrich Ultes-Nitsche (University of Southampton). The workshop was held in the LIAFA laboratory (University Paris-7) and the local organization chair was Mihaela Sighireanu.

The meeting was attended by 38 persons, both from academia and industry In particular, it is worth mentioning that companies such as Ericsson, Giesecke & Devrient GmbH, IBM, Instrumentointi Oy, Motorola, NASA, Simtech, and TransEDA were present at the 6th ERCIM FMICS workshop.

The opening talk of the workshop was given by Jean-Eric Pin, Scientific Director of ERCIM. During the two days, fifteen talks were presented, carefully selected by the Program Committee with a rejection rate of 50%. Also, two invited talks were given, the first one by Cindy Eisner (‘Automatic Detection of Vacuity in Temporal Logic’) and the second one by Joseph Sifakis (‘Modeling Real-time Systems’).

A special issue of the scientific journal ‘Formal Methods in System Design’ will gather the best papers presented during the workshop.

The 6th FMICS workshop benefited from the financial support of INRIA Rhone-Alpes and ERCIM. The workshop proceedings (240 pages) have been published by INRIA.

FMICS Working Group web page:

Please contact:
Hubert Garavel - INRIA
Tel: +33 4 76 61 52 24