FMICS 2009 - 4TH CALL FOR PAPERS
Please visit: http://users.dsic.upv.es/workshops/fmics2009


************************************************************
* 14th International Workshop on *
* Formal Methods for Industrial Critical Systems *
* FMICS 2009 *
* *
* November 2-3, 2009 *
* Eindhoven, The Netherlands *
************************************************************
* ** NEWS ** *
* *
* >> Invited speakers confirmed *
* Dino Distefano Queen Mary, Univ. London, UK *
* Diego Latella ISTI-CNR, Italy *
* Thierry Lecomte ClearSy, France *
* Ken McMillan Cadence, USA *
* *
************************************************************
* *
* LNCS proceedings *
* Springer has confirmed that the proceedings *
* will be published in their Lecture Notes in *
* Computer Science series. *
* *
* Price for best paper -- awarded by EASST *
* *
************************************************************


IMPORTANT DATES
---------------
Deadline for abstracts: 1st April
Deadline for papers: 7 April
Accept/Reject notification: 15 June
Camera-ready version: 15 July
Workshop: 2-3 November

SCOPE OF THE WORKSHOP
---------------------
The aim of the ERCIM FMICS workshop series is to provide
a forum for researchers who are interested in the
development and application of formal methods in industry.
In particular, these workshops bring together scientists and
engineers that 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:
- Design, specification, code generation and testing based
      on formal methods.
- Methods, techniques and tools to support automated
      analysis, certification, debugging, learning,
      optimization and transformation of complex,
      distributed, real-time systems and embedded systems.
- Verification and validation methods that address
      shortcomings of existing methods with respect to
      their industrial applicability (e.g., scalability and
      usability issues).
- Tools for the development of formal design descriptions.
- Case studies and experience reports on industrial
      applications of formal methods, focusing on lessons
      learned or identification of new research directions.
- Impact of the adoption of formal methods on the
      development process and associated costs.
- Application of formal methods in standardization and
      industrial forums.

INVITED SPEAKERS
----------------
Dino Distefano Queen Mary, Univ. London, UK
Diego Latella ISTI-CNR, Italy
Thierry Lecomte ClearSy, France
Ken McMillan Cadence, USA

CO-CHAIRS
---------
Maria Alpuente Tech. University Valencia, Spain
Byron Cook Microsoft Research, UK

PROGRAM COMMITTEE
-------------------
Hassan Ait-Kaci Ilog, Canada
Maria Alpuente Tech. University Valencia, Spain
Thomas Arts IT-Univ. i Goteborg, Sweden
Demis Ballis Universita Udine, Italy
Josh Berdine Microsoft Research, UK
Lubos Brim Masarykova Univ., Czech Republic
Darren Cofer Rockwell Collins, USA
Byron Cook Microsoft Research, UK
Patrick Cousot Ecole Normale Superieure, France
Santiago Escobar Tech. University Valencia, Spain
Azadeh Farzan University of Toronto, Canada
Hubert Garavel INRIA Rhone-Alpes, France
Stefania Gnesi ISTI-CNR, Italy
Alexey Gotsman University of Cambridge, UK
Holger Hermanns Universitat Saarlandes, Germany
Christophe Joubert Tech. University Valencia, Spain
Daniel Kroening ETH Zurich, Switzerland
Michael Leuschel Universitat Dusseldorf, Germany
Pedro Merino Universidad de Malaga, Spain
Juan Jose Moreno-Navarro Univ. Politecnica Madrid, Spain
Corina Pasareanu NASA Ames Research Center, USA
Jaco van de Pol Univ. Twente, The Netherlands
Murali Rangarajan Honeywell, USA
Jakob Rehof Tech. Univ. Dortmund, Germany
Andrey Rybalchenko Max-Planck-Gesellschaft, Germany
Marcel Verhoef Chess, The Netherlands
Martin Wirsing Universitat Munchen, Germany
Hongseok Yang University of London, UK
Greta Yorsh IBM Watson Research Center, USA

ERCIM FMICS WG COORDINATOR
--------------------------
Alessandro Fantechi Univ. Firenze, ISTI-CNR, Italy

WORKSHOP CHAIR
--------------
Christophe Joubert Tech. University Valencia, Spain

PAPER SUBMISSIONS
-----------------
Submissions must be made electronically through the
EasyChair system.

Papers should be up to 16 pages in LNCS format, with the
names and affiliations of the authors and a clear and
informative abstract. Additional details may be included in
a clearly marked appendix, which will be read at the
discretion of the program committee. All submissions must
report on original research.

Submitted papers must not have previously appeared in a
journal or conference with published proceedings and must
not be concurrently submitted to any other peer-reviewed
workshop, symposium, conference or archival journal. Any
partial overlap with any such published or concurrently
submitted paper must be clearly indicated.

Case study papers should identify lessons learned, validate
theoretical results (such as scalability of methods),
or provide specific motivation for further research and
development.

The workshop proceedings will be published in the Springer
series Lecture Notes in Computer Science (LNCS).

CO-LOCATION
-----------
FMICS 2009 is part of the first Formal Methods Week
(FMweek), which will bring together a choice of events
in the area, including TESTCOM/FATES (Conference on
Testing of Communicating Systems and Workshop on Formal
Approaches to Testing of Software), FACS (Formal Aspects
of Component Software), PDMC (Parallel and Distributed
Methods of verifiCation), FM2009 (Symposium of Formal
Methods Europe), CPA (Communicating Process Architectures),
FAST (Formal Aspects of Security and Trust), FMCO (Formal
Methods for Components and Objects), and the REFINE
Workshop. For the latest information on FMweek, see
http://www.win.tue.nl/fmweek.

************************************************************
* *
* +============================================+ *
* | | *
* | ** FMweek ** | *
* | | *
* +============================================+ *
* | CPA | FACS | FAST | *
* +--------------------------------------------+ *
* | FM2009 | FMCO | FMICS | *
* +--------------------------------------------+ *
* | PDMC | REFINE | TESTCOM/FATES | *
* +--------------------------------------------+ *
* | http://www.win.tue.nl/fmweek | *
* +============================================+ *
* *
************************************************************