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.
- 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.
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:
Diego Latella - CNUCE-CNR
Tel: +39 50 593230
Fax: +39 50 904052
return to the contents page