FMICS 2010: Call for Papers (deadline extended)

------- Apologies for multiple copies -------

**********************************************************************
*                   15th International Workshop on                   *
*           Formal Methods for Industrial Critical Systems           *
*                             FMICS 2010                             *
*                 http://es.fbk.eu/events/fmics2010                  *
*                                                                    *
*                       September 20-21, 2010                        *
*                          Antwerp, Belgium                          *
**********************************************************************

IMPORTANT DATES
---------------
Deadline for abstracts (extended):        17 April 2010
Deadline for papers (extended):           25 April 2010
Acceptance notification (extended):        7 June  2010
Camera-ready version (extended):           7 July  2010
Workshop:                          20-21 September 2010

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