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

INVITED SPEAKERS

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

PROGRAM

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

SCOPE OF THE WORKSHOP

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:

Tools for the design and development of formal descriptions
Verification and validation of complex, distributed, real-time systems and embedded systems
Verification and validation methods that aim at circumventing shortcomings of existing methods in respect to their industrial applicability
Formal methods based conformance, interoperability and performance testing
Case studies and project reports on formal methods related projects with industrial participation
(e.g. safety critical systems, mobile systems, object-based distributed systems)
Application of formal methods in standardization and industrial forums

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.

REGISTRATION

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: http://www.ime.ntnu.no/ercim/. Do not forget to mark "FMICS" as the workshop you are visiting.

PROGRAMME COMMITTEE

Finn Arve Aagesen local organization chair (Norwegian Univ. of Science and Technology, No)
Thomas Arts co-chair (IT-Univ. in Gothenburg, Se)
Gilles Barthe (INRIA Sophia-Antipolis, Fr)
Armin Biere (ETH Zürich, Ch)
Jonathan Bowen (South Bank University, Uk)
Lubos Brim (Masaryk Univ., Cz)
Andrew Butterfield (Dublin Univ., Ie)
Muffy Calder (Univ. of Glasgow, Uk)
Dennis Dams (Bell Labs, USA)
Wan Fokkink co-chair (CWI, Nl)
Leszek Holenderski (Philips, Nl)
Diego Latella (CNRA/ISTI Pisa, It)
Martin Leucker (Uppsala Univ., Se)
Radu Mateescu (INRIA Rhone-Alpes, Fr)
Pedro Merino Gómez (Malaga Univ., Es)
Ina Schieferdecker (Fraunhofer FOKUS, De)
Antti Valmari (Tampere Univ. of Technology, Fi)

LOCAL ORGANISING COMMITTEE

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.

IMPORTANT DATES

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

SUBMISSIONS

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 http://www.math.tulane.edu/~entcs and read the author instructions on that page.

Papers should be submitted by e-mail to fmics03@ituniv.se. 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