[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CfPart: FMICS 2009, 2-3 November 2009, Final Call




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