Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03)
June 5-7, 2003
Werner Damm Oldenburg University, Germany
Reiner Hähnle Chalmers, Sweden
The program and the
presentations from the ERCIM members
are now available.
SCOPE OF THE
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.
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.
- 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
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)
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
http://www.math.tulane.edu/~entcs and read the author
instructions on that page.
Papers should be submitted by e-mail to
firstname.lastname@example.org. 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
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
Last modified: 02/12/10,