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:

to bring together scientists of ERCIM institutions active in the field of formal methods and willing to exchange their experience in the industrial usage of formal methods
to coordinate efforts in the transfer of formal methods technology and knowledge to industry
to promote research and development for the improvement of formal methods and tools with respect to their usage in industry.

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:
http://fdt.cnuce.cnr.it:8080/Home/fm-ercim/WgDescription.html

Please contact:
Diego Latella - CNUCE-CNR
Tel: +39 50 593230
Fax: +39 50 904052
E-mail: d.latella@cnuce.cnr.it

return to the contents page