FMICS 2013
                             ==========

                   18th International Workshop on
           Formal Methods for Industrial Critical Systems

                       September 23-24, 2013
                           Madrid (Spain)
                     Co-located with SEFM 2013

                http://lvl.info.ucl.ac.be/Fmics2013

Call for Papers
===============

Scope
-----

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,  FMICS brings  together
scientists and engineers who are  active in the area of formal methods
and interested in exchanging their experiences in the industrial usage
of these  methods. The FMICS  workshop series also strives  to promote
research  and development for  the improvement  of formal  methods and
tools for industrial applications.

Topics
------

Topics of interest include (but are not limited 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.


Paper Submission
----------------

Submissions must  describe authors'  original research work  and their
results. Contributions should not  exceed 15 pages formatted according
to  the LNCS  style (Springer),  and should  be submitted  as Portable
Document Format (PDF) files using the EasyChair submission site:
https://www.easychair.org/conferences/?conf=fmics2013

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.

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

All submissions  will be  reviewed by the  program committee  who will
make a selection among the submissions based on the novelty, soundness
and  applicability  of the  presented  ideas  and  results. A  printed
version  of the  proceedings  will be  distributed among  participants
during the workshop. The proceedings of the workshop will be published
in the Springer series Lecture Notes in Computer Science (LNCS).

Participants  will  give a  presentation  of  their  papers in  twenty
minutes, followed by a ten-minute round of questions and discussion on
participants' work.

Following the  tradition of the past  editions, a special  issue of an
international scientific  journal (Science of  Computer Programming or
STTT) will  be devoted  to FMICS 2013.  Selected participants  will be
invited  to submit  an  extended  version of  their  papers after  the
workshop. These extended versions will  again be reviewed by a program
committee, which will decide on their final publication in the special
issue.


Important Dates
---------------

Paper submission: May 3rd
Notification: June 24th
Final version due: July 12th
Workshop: September 23th-24th


Program Committee
-----------------

Chairs:
Michael Dierkes (Rockwell Collins, France)
Charles Pecheur (Université catholique de Louvain, Belgium)

PC Members (confirmed):
Maria Alpuente (Universitat Politècnica de València, Spain)
Jiri Barnat (Masaryk University, Czech Republic)
Eckhard Böde (Offis, Germany)
Jean-Louis Colaço (Prover Technology, France)
Cindy Eisner (IBM, Israel)
Alessandro Fantechi (Università di Firenze, Italy)
Andrew Gacek (Rockwell Collins, USA)
Maria del Mar Gallardo (University of Málaga, Spain)
Stefania Gnesi (ISTI-CNR, Italy)
Gordon Haak (Daimler AG, Germany)
Holger Hermanns (Saarland University, Germany)
Stefan Kowalewski (RWTH Aachen, Germany)
Juliana Küster Filipe Bowles (University of St Andrews, UK)
Frédéric Lang (INRIA Grenoble Rhône-Alpes, France)
Diego Latella (ISTI-CNR, Italy)
Odile Laurent (Airbus, France)
Stefan Leue (University of Konstanz, Germany)
Amel Mammar (Telecom SudParis, France)
Tiziana Margaria (University of Potsdamm, Germany)
Radu Mateescu (INRIA Grenoble Rhône-Alpes, France)
Pedro Merino (University of Málaga, Spain)
Dave Parker (University of Birmingham, UK)
Corina Pasareanu (CMU / NASA Ames, USA)
Jan Peleska (Universität Bremen, Germany)
Ralf Pinger (Siemens AG, Germany)
Andreas Podelski (University of Freiburg, Germany)
Christophe Ponsard (CETIC, Belgium)
Marco Roveri (FBK-IRST, Italy)
Cristina Seceleanu (Mälardalen University, Sweden)
Marielle Stoelinga (University of Twente, Netherlands)
Jaco van de Pol (University of Twente, Netherlands)