FMICS 2009 - CALL FOR POSTERS
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 *
************************************************************


** Attention Practitioners of Formal Methods: **
** FMICS 2009 wants to Gain advantage of your Experience! **


FMICS 2009 is actively soliciting practitioners to present
posters that describe how formal methods work---or fail to
work---in real-world, industrial critical systems.


* Poster contributions are sought in all areas of formal
methods for industrial critical systems with a particular
focus on practical experiences:

    - Tools for the development of formal design
    descriptions, code generation and testing with a focus
    on their industrial applicability (e.g., scalability and
    usability issues).
    - Formal techniques and tools to support automated
    analysis, certification, debugging, learning,
    optimization and transformation of complex, distributed,
    real-time systems and embedded systems.
    - 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.
    - Applied research project overviews.
    - Speculative, late-breaking results.


* Why should I present a Poster at FMICS 2009?
The most obvious reason is to get your own work highly
visible in a competitive forum. But it's also a chance to
share your wisdom about formal methods with an appreciative
audience. Evidence about the utility of formal methods is
much more valuable when it has been carefully written up,
formally reviewed and published in a citable proceedings.
Poster descriptions will be published in the Springer series
Lecture Notes in Computer Science (LNCS) volume for FMICS
2009.


* Poster descriptions need to present a clear thesis and
provide supporting evidence that might include:

    - insights gained from real-world projects using formal
    methods
    - comparison of formal methods with informal or
    semi-formal methods in the context of an industrial
    project
    - legal issues encountered when using formal methods in
    a real-world project
    - obstacles to commercialize SW Tools based on Formal
    Methods
    - real-world constraints that created special challenges
    for formal methods in general.


* Attached to the poster, authors are invited to submit an
extended abstract through the workshop paper submission web
pages. Each accepted poster will have up to 2 pages in the
LNCS proceedings, and a 10 minute slot for presentation in a
plenary poster session. Authors of accepted posters will be
expected to present them in person at Eindhoven. Posters
will also be displayed during the workshop, and particularly
before the poster session.


* Submission deadline: June 5, 2009
  Notification: June 20, 2009
  Camera-ready version July 15, 2009
  Workshop November 2-3, 2009


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 | *
* +============================================+ *
* *
************************************************************