FMICS 2009 - CALL FOR PAPERS

 

Please visit: http://elp.webs.upv.es/workshops/fmics2009

UPV Ercim FME MSR
DSIC EASST TUE Springer

 

14th International Workshop on 

Formal Methods for Industrial Critical Systems 

(FMICS 2009)

Eindhoven, The Netherlands
November 2-3, 2009
Venue: Technische Universiteit Eindhoven

Important dates

New deadline for abstracts 16 April 2009
New deadline for papers 20 April 2009
Accept/Reject notification 15 June 2009
Camera-ready version 15 July 2009
Workshop November 2-3, 2009

Scope of the workshop

The aim of the 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 Image:Flag of the United Kingdom.svg (Queen Mary, University of London, UK)
Diego Latella Image:Flag of Italy.svg (ISTI-CNR, Italy)
Thierry Lecomte Image:Flag of France.svg (ClearSy, France)
Ken McMillan Image:Flag of the United States.svg (Cadence, USA)

Program Chairs

Maria Alpuente Image:Flag of Spain.svg (Technical University of Valencia, Spain)
Byron Cook Image:Flag of the United Kingdom.svg (Microsoft Research, UK)

Program Commitee Members

Hassan Ait-Kaci Image:Flag of Canada.svg (Ilog, Canada)
Maria Alpuente Image:Flag of Spain.svg (Technical University of Valencia, Spain) - co-chair
Thomas Arts Image:Flag of Sweden.svg (IT-Universitetet i Göteborg, Sweden)
Demis Ballis Image:Flag of Italy.svg (Università degli Studi di Udine, Italy)
Josh Berdine Image:Flag of the United Kingdom.svg (Microsoft Research, UK)
Lubos Brim Image:Flag of the Czech Republic.svg (Masarykova Univerzita, Czech Republic)
Darren Cofer Image:Flag of the United States.svg (Rockwell Collins, USA)
Byron Cook Image:Flag of the United Kingdom.svg (Microsoft Research, UK) - co-chair
Patrick Cousot Image:Flag of France.svg (Ecole Normale Supérieure, France)
Santiago Escobar Image:Flag of Spain.svg (Technical University of Valencia, Spain)
Azadeh Farzan Image:Flag of Canada.svg (University of Toronto, Canada)
Hubert Garavel Image:Flag of France.svg (INRIA Rhône-Alpes, France)
Stefania Gnesi Image:Flag of Italy.svg (ISTI-CNR, Italy)
Alexey Gotsman Image:Flag of the United Kingdom.svg (University of Cambridge, UK)
Holger Hermanns Image:Flag of Germany.svg (Universität des Saarlandes, Germany)
Christophe Joubert Image:Flag of Spain.svg (Technical University of Valencia, Spain) - workshop chair
Daniel Kroening Image:Flag of Switzerland.svg (ETH Zürich, Switzerland)
Michael Leuschel Image:Flag of Germany.svg (Heinrich-Heine-Universität Düsseldorf, Germany)
Pedro Merino Image:Flag of Spain.svg (Universidad de Málaga, Spain)
Juan José Moreno-Navarro Image:Flag of Spain.svg (Universidad Politécnica de Madrid, Spain)
Corina Pasareanu Image:Flag of the United States.svg (NASA Ames Research Center, USA)
Jaco van de Pol Image:Flag of the Netherlands.svg (Universiteit Twente, The Netherlands)
Murali Rangarajan Image:Flag of the United States.svg (Honeywell, USA)
Jakob Rehof Image:Flag of Germany.svg (Technische Universität Dortmund, Germany)
Andrey Rybalchenko Image:Flag of Germany.svg (Max-Planck-Gesellschaft, Germany)
Marcel Verhoef Image:Flag of the Netherlands.svg (Chess, The Netherlands)
Martin Wirsing Image:Flag of Germany.svg (Ludwig-Maximilians-Universität München, Germany)
Hongseok Yang Image:Flag of the United Kingdom.svg (Queen Mary, University of London, UK)
Greta Yorsh Image:Flag of the United States.svg (IBM T.J. Watson Research Center, USA)

ERCIM FMICS WG Coordinator

Alessandro Fantechi Image:Flag of Italy.svg (Università degli Studi di Firenze and ISTI-CNR, Italy)

Workshop chair

Christophe Joubert Image:Flag of Spain.svg (Technical University of Valencia, Spain) - workshop chair

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). Authors need to sign a copyright transfer form to transfer usage rights on their papers to Springer.

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.