Preface: Volume 66, Issue 2

Abstract

ForewordThe 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 forumsPrevious 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).This year's workshop is organized at the University of Málaga, immediately after the ICALP 2002 conference. It includes five sessions of regular contributions. We are also pleased to welcome three invited presentations: Andreas Podelski, who discusses abstraction for software model checking, Andrew D. Gordon, who investigates in authenticity types for cryptographic protocols and Wang Yi, who addresses the issue of synthetizing verified real time software.The proceedings of FMICS 02 are published both physically, as a technical report of the University of Málaga, and electronically, in the ENTCS series (Electronic Notes in Theoretical Computer Science).We wish to thank the members of the programme committee and the additional reviewers for their careful evaluation of the submitted papers (13 papers have been selected out of 22 submitted). We are very grateful to the local organizers at the University of Málaga, and especially Pedro Merino, for their excellent assistance during the workshop preparation.Finally, we would like to thank ERCIM and ICALP for their financial and organizational support of FMICS 02. Our reviewing process benefited from the METAFrame Online Conference Service (courtesy of METAFrame Technologies, which we would like to thank also for their technical support in setting and running the service).Rance Cleaveland, Hubert GaravelJune 2002Further information about the FMICS working group: http://www.inrialpes.fr/vasy/fmicsProgramme 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)Additional Reviewers•Bahareh Badban•Clara Benac Earle•Tommaso Bolognesi•Antonio Cerone•Kousha Etessami•Alessandro Fantechi•Natalia Ioustinova•Frederic Lang•Izak van Langevelde•Michael Leuschel•Pablo Lopez•Cecilia Mascolo•Mieke Massink•Radu Mateescu•Simona Orzan•Jun Pang•Laurence Pierre•Simon St James•Laurent Thery•Mikko TiusanenLocal Organizing CommitteeSoftware Engineering Group, University of Málaga•M. del Mar Gallardo•P. López•J. Martínez•P. Merino, local organization chair