[apologies for multiple posting]
__________________________________________________________________

                     First Call for Papers

                Ninth International Workshop on
    Formal Methods for Industrial Critical Systems (FMICS 04)

              Linz, Austria, 20-21 September 2004
                Co-located Workshop of ASE 2004
 
                http://www.fmics04.cclrc.ac.uk/
__________________________________________________________________

SCOPE
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
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 
* 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 

IMPORTANT DATES
Deadline for submissions: June 21, 2004
Accept/Reject Notification: July 26, 2004 
Final Manuscript: August 23, 2004 
Workshop: September 20-21, 2004

PROGRAM COMMITTEE
Alvaro Arenas (CCLRC/RAL, UK)
Thomas Arts (IT-Univ. in Gothenburg, Se) 
Gilles Barthe (INRIA Sophia-Antipolis, Fr) 
Juan Bicarregui co-chair (CCLRC/RAL, UK)
Armin Biere (ETH Zürich, Ch) 
Lubos Brim (Masaryk Univ., Cz) 
Andrew Butterfield co-chair (Dublin Univ., Ie) 
Muffy Calder (Univ. of Glasgow, Uk) 
Wan Fokkink  (CWI, Nl) 
Maria del Mar Gallardo (Malaga Univ., Es)
Leszek Holenderski (Philips, Nl) 
Diego Latella (CNRA/ISTI Pisa, It) 
Martin Leucker (Uppsala Univ., Se) 
Radu Mateescu (INRIA Rhone-Alpes, Fr) 
Ina Schieferdecker (Fraunhofer FOKUS, De)

SUBMISSIONS
Papers submitted to FMICS 04 must be in English and present original
research that is unpublished and not submitted for publication elsewhere.
Papers should be between 10 and 16 pages, with a clear abstract and list of
keywords, formatted according to the ENTCS guidelines
(http://math.tulane.edu/~entcs/). The proceedings of the workshop will be
published physically as technical reports of the Johannes Kepler University
and electronically in Electronic Notes in Theoretical Computer Science.
Extended version of best papers will be invited for publication in an
special issue of a high quality international journal.  

ORGANISATION
The workshop is organised by the Information Science and Engineering Group
at the Business and Information Technology Department of CCLRC Rutherford
Appleton Laboratory. 

Working Group Chair: Stefania Gnesi (ISTI-CNR, Italy) 
Workshop Co-Chair: Juan Bicarregui (CCLRC RAL, UK)
Workshop Co-Chair: Andrew Butterfield (Trinity College, Ireland)
Local Organisation: Alvaro Arenas (CCLRC RAL, UK)
__________________________________________________________________