[TYPES/announce] CfPart: FM 2009, 2-7 November 2009

[Arend Rensink]

*********************************************************
*                                                       *
*    FM2009: 16th FM Symposium and 2nd World Congress   *
*                 Theory meets practice                 *
*                                                       *
*          ***  First Call For Participation ***        *
*                                                       *
*            November 2 - November 7,  2009             *
*              Eindhoven, the Netherlands               *
*             http://www.win.tue.nl/fm2009              *
*                                                       *
*********************************************************
*                                                       *
*                      ** NEWS **                       *
*                                                       *
* >> Full programme for FM2009 now available            *
*                                                       *
* >> Registration for FM2009 is open                    *
*                                                       *                 
*                                                       *
*********************************************************

FM2009 is the  sixteenth in a series  of symposia  of the
Formal Methods Europe  association,   and the second  one
that  is organized as  a world congress. Ten  years after
FM'99,  the  1st  World Congress,  the   formal   methods
communities from all over the world  will once again have
an  opportunity  to  meet.   FM 2009   will  be  both  an
opportunity to  celebrate, and an  opportunity to join in
when enthusiastic   researchers and practitioners  from a
diversity  of backgrounds and   schools come together  to
discuss their ideas and experiences.

Reflecting   the  global span  of  FM2009,  the Programme
Committee recruited from all  over the world  selected 45
papers,  on every   aspect    of  the *development    and
application of formal methods  for the improvement of the
current practice  on  system developments*.  These papers
will be presented during a three-day Technical Symposium,
which also features   an  Industry Day  in  which  formal
method  providers  will report  on their  experience with
industrial projects, on how  methods and tools  needed to
be changed  and adapted  when confronted with  industrial
requirements, and on  what they  see as major  challenges
for their method or    tool to be applied  routinely   in
industry.

In the days leading  up to the Technical Symposium, seven
Workshops on new  or  emerging fields  of  application of
formal methods will be held as well as seven Tutorials on
advanced topics in formal methods research (see below for
a listing).  Throughout the   week, both  industrial  and
academic tools based on formal methods will be on display
in a Tool Exhibition.

Complete and  up to date  information can be found at the
event website http://www.win.tue.nl/fm2009/.    FM2009 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.

INVITED SPEAKERS
================
Wan Fokkink, The Netherlands
Carroll Morgan, Australia
Colin O'Halloran, UK
Sriram Rajamani, India
Jeannette Wing, USA

WORKSHOPS
========= 
01 FMIS Formal Methods for Interactive Systems
  (organizers: Michael Harrison and Mieke Massink) 
02 VDM and Overture (organizers: Peter Gorm Larsen and
  Jeremy Bryans) 
03 CompMod Computational Models for Cell Processes     
  (organizers: Ralph-Johan Back, Ion Petre, Erik de
  Vink) 
04 FAVO Formal Aspects of Virtual Organizations
  (organizers: John Fitzgerald and Jeremy Bryans)
05 FMA Formal Methods for Aeronautics (organizers:
  Manuela Bujorianu, Michael Fisher, Corina Pasareanu) 
06 FOPARA Foundational and Practical Aspects of
  Resource Analysis (organizers: Marko van Eekelen,
  Olha Shkaravska) 
07 QFM Quantitative Formal Methods - Theory and
  Applications (organizers: Suzana Andova and Annabelle
  McIver) 

TUTORIALS
========= 
01 Analyzing UML/OCL models with HOL-OCL 
  (tutors: Achim Brucker, Burkhart Wolff) 
02 Bounded Model-Checking and Satisfiability-Checking
  (tutors: Angelo Morzenti, Matteo Pradella, Matteo Rossi) 
03 Practical MPI and Pthread Dynamic Verification
 (tutors: Ganesh Gopalakrishnan, Robert M. Kirby) 
04 Computational Systems Biology 
  (tutors: Ion Petre, Ralph-Johan Back) 
05 Behavioural Analysis using mCRL2
  (tutors: Aad Mathijssen, Michel Reniers, Tim Willemse) 
06 Rely/Guarantee-thinking 
  (tutors: Joey Coleman, CliffJones) 
07 Constraint-based Validation of Imperative Programs  
  (tutors: Michel Rueher, Arnaud Gotlieb)

VENUE
=====
The venue for    FM2009 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 for  any combination  of FM2009
activities of the event 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        |    *
*     +============================================+    *
*                                                       *
*********************************************************