[TYPES/announce] 2nd CfPart FM 2009 + tutorials and workshops: Early registration deadline 19 Oct

[Arend Rensink]

**********************************************************
*                                                        *
*    FM2009: 16th FM Symposium and 2nd World Congress    *
*               Theory meets Practice                    *
*                                                        *
*         ***  Second Call For Participation ***         *
*                                                        *
*             November 2 - November 6,  2009             *
*               Eindhoven, the Netherlands               *
*              http://www.win.tue.nl/fm2009              *
*                                                        *
**********************************************************
*                                                        *
*                    ** NEWS **                          *
*                                                        *
* >> Programme of FM2009 and of all satelites available  *
*                                                        *
* >> Early registration for FM2009 ending October 19     *
*                                                        *                 
*                                                        *
**********************************************************

TUTORIALS (2-3 November)
=========

01 Analyzing UML/OCL models with HOL-OCL
   Tutors: Achim Brucker, Burkhart Wolff
   http://www.brucker.ch/projects/hol-ocl/2009-fm-hol-ocl-tutorial
02 Bounded Model-Checking and Satisfiability-Checking
   Tutors: Angelo Morzenti, Matteo Pradella, Matteo Rossi
   http://home.dei.polimi.it/pradella/tut.html
03 Practical MPI and Pthread Dynamic Verification
   Tutors: Ganesh Gopalakrishnan, Robert M. Kirby
   http://www.cs.utah.edu/fv/ISP-tutorial
04 Computational Systems Biology
   Tutors: Ion Petre, Ralph-Johan Back
   http://combio.abo.fi/tcsb09
05 Behavioural Analysis using mCRL2
   Tutors: Michel Reniers, Tim Willemse
   http://www.mcrl2.org
06 Rely/Guarantee-thinking
   Tutors: Joey Coleman, Cliff Jones
   http://homepages.cs.ncl.ac.uk/j.w.coleman/rg-thinking/


WORKSHOPS (2-3 November)
========= 

01 FMIS: Formal Methods for Interactive Systems
   Organizers: Michael Harrison, Mieke Massink
   http://homepages.cs.ncl.ac.uk/michael.harrison/fmis
02 VDM and Overture
   Organizers: Peter Gorm Larsen, Jeremy Bryans
   http://www.overturetool.org/twiki/bin/view/Main/Workshop7
03 CompMod: Computational Models for Cell Processes
   Organizers: Ralph-Johan Back, Ion Petre, Erik de Vink
   http://combio.abo.fi/compmod09
04 FAVO: Formal Aspects of Virtual Organizations
   Organizers: John Fitzgerald, Jeremy Bryans
   http://research.cs.ncl.ac.uk/events/FAVO2009
05 FMA: Formal Methods for Aeronautics
   Organizers: Manuela Bujorianu, Michael Fisher
   http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/FMA.htm
06 FOPARA: Foundational and Practical Aspects of Resource Analysis
   Organizers: Marko van Eekelen, Olha Shkaravska
   http://www.aha.cs.ru.nl/fopara
07 QFM: Quantitative Formal Methods
   Organizers: Suzana Andova and Annabelle McIve
   http://www.win.tue.nl/QFM


INVITED SPEAKERS for main symposium (3-4 November)
================

* What can Formal Methods bring to Systems Biology?
  Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands

* Security, Probability and Nearly Fair Coins in the Cryptographers' Cafe
  Carroll Morgan, University of New South Wales, Sidney, Australia

* Guess and Verify - Back to the Future
  Colin O'Halloran, QinetiQ, Malvern, United Kingdom

* Verification, Testing and Statistics
  Sriram Rajamani, Microsoft Research India, Bangalore, India

* Formal Methods for Privacy
  Jeannette Wing, Carnegie Mellon University, Pittsburg, USA

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 activ-
ities in the area.


REGISTRATION
============
The  event website  provides a one-stop window where participants
can register for any combination of FM2009 activities they  would
like to participate in, as well as for other FMweek events and to
make a hotel  reservation  for  their  stay  in  Eindhoven. Go to
http://www.win.tue.nl/fmweek/Registration.html.


**********************************************************
*                                                        *
*     +============================================+     *
*     |                                            |     *
*     |                 ** FMweek **               |     *
*     |                                            |     *
*     +============================================+     *
*     |     FMICS     |    FM2009    |   REFINE    |     *
*     +--------------------------------------------+     *
*     |        PDMC      |     TESTCOM/FATES       |     *
*     +--------------------------------------------+     *
*     |    FACS   |   CPA   |   FAST   |   FMCO    |     *
*     +--------------------------------------------+     *
*     |        http://www.win.tue.nl/fmweek        |     *
*     +============================================+     *
*                                                        *
**********************************************************