Working Group on Formal Methods for Industrial Critical Systems

Seventh International Workshop on Formal Methods for Industrial Critical Systems (FMICS 02)

University of Málaga (Spain)

July 12-13, 2002

Colocated with the 29th ICALP conference

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), and Paris (July 2001).

The Seventh International Workshop on Formal Methods for Industrial Critical Systems (FMICS 02) will take place in Málaga on July 12-13, 2002, in co-location with the 29th ICALP conference.

WORKSHOP INFORMATION

INVITED SPEAKERS

Andrew Gordon (Microsoft Research Cambridge, UK)
Andreas Podelski (Max-Planck-Institut für Informatik, Germany)
Wang Yi (Uppsala University, Sweden)

SCIENTIFIC CONTENTS

PROGRAMME COMMITTEE

T. Arts (Ericsson, S)
M. Bernardo (Univ. of Urbino, I)
R. Cleaveland, co-chair (SUNY and Reactive Systems, USA)
W.J. Fokkink (CWI, NL)
H. Garavel, co-chair (INRIA Rhone-Alpes, F)
S. Gnesi (CNR/IEI Pisa, I)
P. Godefroid (Bell Labs, USA)
H. Hermanns (Univ. Twente, NL)
T. Margaria (METAFrame Technologies, D)
P. Merino Gómez, local organization chair (Univ. Málaga, E)
I. Schieferdecker (GMD Berlin, D)
S. Schneider (Royal Holloway, University of London, UK)
M. Sighireanu (University of Paris-7 Jussieu, F)
R. de Simone (INRIA Sophia Antipolis, F)
U. Ultes-Nitsche (University of Southampton, UK)
A. Valmari (Tampere University of Technology, Fi)
W. Visser (RIACS/NASA Ames, USA)

LOCAL ORGANIZING COMMITTEE (Software Engineering Group, University of Málaga)

CALL FOR PAPERS

FMICS 02 Call for Papers

LOCAL INFORMATION

FMICS 02 Local Information Page

ERCIM FMICS Home Page, University of Málaga Home Page

Last modified: 2015/09/22 10:32:33, Hubert Garavel