ERCIM News No.34 - July 1998

Third ERCIM FMICS International Workshop

by Diego Latella

The third ERCIM International Workshop on Formal Methods for Industrial Critical Systems (FMICS) was held at CWI, Amsterdam, on 25-26 May 1998.

The success of the meeting was evidenced by the lively discussions and exchanges of opinion between the approximately 40 participants from both academia and industry. Four invited speakers gave the following talks:

14 additional presentations were given on various aspects of formal methods and their application to case studies.

During the meeting a report was delivered on the status of the Working Group:

The Proceedings of FMICS '98 were published by CWI (ISBN 90 6196 480 6) while a selection of the papers presented during the workshop will be published in a special issue of Formal Aspects of Computing.

GMD-FOKUS and CNR have both offered to organize FMICS'99. A decision will be taken soon.

For more information on the FMICS Working Group of ERCIM, see:

Please contact:

Diego Latella - CNUCE-CNR

Jan Friso Groote - CWI
FMICS 98 PC Chair

return to the contents page