FMICS 2009 - FINAL CALL FOR PARTICIPATION
Please visit: http://users.dsic.upv.es/workshops/fmics2009
************************************************************
* 14th International Workshop on *
* Formal Methods for Industrial Critical Systems *
* FMICS 2009 *
* *
* part of the first FMweek *
* November 2-3, 2009 *
* Eindhoven, The Netherlands *
************************************************************
* ** NEWS ** *
* *
* >> Final programme *
* *
* >> Normal registration before October 19 *
* *
* >> Springer LNCS 5825 proceedings *
* *
************************************************************
FMICS 2009 is the fourteenth in a series of International
Workshop on Formal Methods for Industrial Critical Systems.
Previous workshops of the ERCIM working group on Formal
Methods for Industrial Critical Systems were held in Oxford
(March 1996), Cesena (July 1997), Amsterdam (May 1998),
Trento (July 1999), Berlin (April 2000), Paris (July 2001),
Malaga (July 2002), Trondheim (June 2003), Linz (September
2004), Lisbon (September 2005), Bonn (August 2006), Berlin
(July 2007), and L'Aquila (September 2008).
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 who
are active in the area of formal methods and are 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.
Complete and up to date information can be found at the
event website http://users.dsic.upv.es/workshops/fmics2009/.
FMICS 2009 is part of the 1st FMweek (Formal Methods week,
http://www.win.tue.nl/fmweek/), which brings together 10
international scientific events, 6 project and working
group meetings, and a variety of other activities in
the area. Further information about the FMICS working
group and the next FMICS workshop can be found at:
http://www.inrialpes.fr/vasy/fmics.
INVITED SPEAKERS
----------------
Dino Distefano Queen Mary, University of London, UK
Diego Latella CNR/ISTI, Italy
Thierry Lecomte ClearSy, France
Ken McMillan Cadence Berkeley Labs, USA
Following a tradition established over the past few
years, the European Association of Software Science and
Technology (EASST) will offer an award to the best
FMICS paper.
PROGRAM CHAIRS
--------------
Maria Alpuente Technical University of Valencia, Spain
Byron Cook Microsoft Research, UK
WORKSHOP CHAIR
--------------
Christophe Joubert Technical University of Valencia, Spain
VENUE
-----
The venue for FMICS 2009 is the Auditorium of Eindhoven
University of Technology. The university campus lies in the
centre of Eindhoven, within walking distance of conference
hotels. The city itself can easily be reached via both its
own airport and Schiphol (the Dutch mainport).
REGISTRATION
------------
The event website provides a one-stop window where
participants can register to FMICS 2009 and to any
combination of FMweek events they would like to participate
in, and make hotel reservation for their stay in Eindhoven.
************************************************************
* *
* +============================================+ *
* | | *
* | ** FMweek ** | *
* | | *
* +============================================+ *
* | FMICS | FM2009 | REFINE | *
* +--------------------------------------------+ *
* | PDMC | TESTCOM/FATES | *
* +--------------------------------------------+ *
* | FACS | CPA | FAST | FMCO | *
* +--------------------------------------------+ *
* | http://www.win.tue.nl/fmweek | *
* +============================================+ *
* *
************************************************************