ERCIM News No.26 - July 1996 - CNR

Formal Methods of Industrial Critical Systems

by Diego Latella

The first workshop of the ERCIM Working Group on Formal Methods of Industrial Critical Systems took place at St. Hugh's College in Oxford on 19 March 1996. The workshop was organized as a satellite meeting of the Third International Symposium of Formal Methods in Europe, FME96. The aim of the workshop was to provide a forum mainly for, but not limited to, researchers of ERCIM sites, interested in the development and use of formal methods in the Industry.

The main objectives of the FMICS Working Group are: The workshop was successful in bringing together 15 researchers from both ERCIM Institutions (CLRC, CNR, CWI, GMD, SICS) and non-ERCIM ones (NASA, Univ. of Genova, University of Malaga, ViGYAN Inc.) who had a unique opportunity present and discuss their FMICS related research activities. A copy of the informal proceedings can be obtained from the WG Chairman.

There was consensus on the success of the meeting but it was recognized that efforts should be made to encourage a greater industrial participation in future workshops. It is planned to publish a selection of the papers presented at the workshop in a special issue of an international journal.

Diego Latella was confirmed Chairman of the WG and it was decided that the next WG workshop will be held in Pisa, Italy in approximately one year.

Working Group WWW-page:

Please contact:
Diego Latella - CNUCE-CNR
Tel: +39 50 593230
Fax: +39 50 904052

return to the contents page