Working Group on Formal Methods for Industrial Critical Systems

Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03)

Norwegian University of Science and Technology

Trondheim, Norway

June 5-7, 2003

Colocated with ERCIM meeting


Werner Damm Oldenburg University, Germany
Reiner Hähnle Chalmers, Sweden


The program and the presentations from the ERCIM members are now available.


The aim of the FMICS workshops is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications.

Topics include, but are not restricted to:

Previous workshops of the ERCIM working group on Formal Methods for Industrial Critical Systems were held in Oxford (March 1996), Cesena (July 1997), Amsterdam (May 1998), Trento (July 1999), Berlin (April 2000), Paris (July 2001), and Malaga (July 2002).

The eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03) will take place in Trondheim June 5-7, 2003, in co-location with the ERCIM meeting.


The workshop fee is 150 euro and has to be payed either cash on arrival or by invoice (in which case you should contact the local organisation).
Please register for the workshop via the web-page of the local organisation: Do not forget to mark "FMICS" as the workshop you are visiting.



The Norwegian University of Science and Technology hosts the workshop in a joint effort of the department of Telematics and the department of computer and information science. The organizing committee consists of:

Finn Arve Aagesen (local orgnization chair)
Frank Lie
Jarle Kotsbak
The workshop takes place in RÝros, a small village close to Trondheim.


Deadline for submission: March 31, 2003 (got 25 submissions)

Accept/Reject notification: May 5, 2003

Final manuscript: May 19, 2003

Workshop: June 5-7, 2003


Papers submitted to FMICS 03 must be in English and present original research that is unpublished and not submitted for publication elsewhere.

The proceedings of the workshop will be published physically by the University of Trondheim and electronically in elseviers ENTCS electronic notes, volume 80. High quality papers sent to FMICS are candidate for publication in a special issue of the journal for Software Tools for Technology Transfer (STTT).

Papers submitted to FMICS 03 should be between 10 and 16 pages, with a clear abstract and list of keywords. Please use the ENTCS styles available at and read the author instructions on that page.

Papers should be submitted by e-mail to The format should be either standard PostScript (printable by any PostScript device) or PDF (Adobe's Portable Document Format). In both cases, one should use only vectorial ("Type 1") fonts and not bitmap fonts.

In case of acceptance of a paper at least one author must present the contribution at the workshop, otherwise it will be removed from the list of publications.

Since 1998, six special issues related to FMICS have been published (or will appear) in prestigious journals such as Formal Aspects of Computing, Formal Methods in System Design, and Science of Computer Programming.

The FMICS workshop is supported by EASST. This organisation will provide a certificate for the best paper of the workshop.

Last modified: 02/12/10, Thomas Arts