Call for Papers: 8th ERCIM Workshop on Formal Methods for Industrial Critical Systems

[Wan.Fokkink@cwi.nl]

     Working Group on Formal Methods for Industrial Critical Systems

                      Eighth International 
   Workshop on Formal Methods for Industrial Critical Systems 
                           (FMICS 03)
           http://www.inrialpes.fr/vasy/fmics/workshop-8/

               Submission deadline: March 24 2003

         Norwegian University of Science and Technology
               Trondheim, Norway, June 5-7, 2003

                  Colocated with ERCIM meeting


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). 


PROGRAMME COMMITTEE
Finn Arge Aagesen (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 (GMD FOKUS, De) 
Antti Valmari (Tampere Univ. of Technology, Fi) 
 
--------------------------------------------------------------------------------

LOCAL ORGANISING COMMITTEE
The Norwegian university of science and technology hosts the workshop 
with the following organizing committee:

Finn Arve Aagesen (local orgnization chair)
Frank Lie
Jarle Kotsbak


--------------------------------------------------------------------------------

IMPORTANT DATES
Deadline for submission: March 24, 2003
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.
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. 

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. 

It is expected that a special journal issue will be devoted to a sampling
of papers presented at FMICS 2003. 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.