FM2009: First CFP

FM2009: First CFP

[Ana.Cavalcanti]

*********************************************************
*                                                       *
*    FM2009: 16th FM Symposium and 2nd World Congress   *
*                 Theory meets practice                 *
*                                                       *
*            October 30 - November 7,  2009             *
*              Eindhoven, the Netherlands               *
*             http://www.win.tue.nl/fm2009              *
*                                                       *
*********************************************************

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.

The Programme Committee  of  FM2009 comprises 83  members
representing 46 countries.   For the technical symposium,
papers  on    every aspect   of   the   *development  and
application of formal methods for  the improvement of the
current practice on system developments*  are invited for
submission.  Of particular interest  are papers on  tools
and  *industrial applications* : there will  be a special
track devoted to this topic.

Many  have already joined  the celebrations. Springer has
offered a prize  for  The  Best  Paper;  this Award  will
include  free electronic access to the  Formal Aspects of
Computing journal for one year,  and a choice of Springer
books  up  to a  value  of EUR 250.00.  The  authors of a
selection  of  the accepted  papers  will  be  invited to
submit extended versions  of their papers  to anniversary
special issues of  reputable journals.  And there will be
more: watch this space.

It will  be possible to participate  in other ways: there
will be opportunities to propose tutorials and workshops,
a  Doctoral   Symposium,    a  tools    exhibition,   and
more. Complete and up to date information can be found at
http://www.win.tue.nl/fm2009/. FM2009 is also part of the
1st  FMweek  (Formal  Methods week),   which  will  bring
together a  variety  of events   in  the area,  including
TESTCOM/FATES  (Conference  on Testing  of  Communicating
Systems  and  Workshop on Formal Approaches to Testing of
Software),  FMICS (Formal Methods for Industrial Critical
Systems), and the REFINE Workshop.

There will be something for everybody.  So, put the dates
in your diary:

Submission deadline         4 May, 2009
Notification of acceptance  6 July, 2009
Final version               10 August, 2009

Some  of  the people already  committed  and involved are
listed below.


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

GENERAL CHAIR: Jos Baeten, The Netherlands

PROGRAMME COMMITTEE
Ralph-Johan Back, Finland
Jos Baeten, The Netherlands
Sergey Baranov, Russia
Gilles Barthe, Spain
Rahma Ben-Ayed, Tunisia
Mohamed Bettaz, Algeria
Dines Bjorner, Denmark
Michael Butler, UK
Rodrigo Cardoso, Colombia
Ana Cavalcanti, UK (Chair)
Flavio Corradini, Italy
Jorge Cuellar, Germany
Dang Van Hung, Vietnam
Dennis Dams, USA (Chair)
Jim Davies, UK
Susanna Donatelli, Italy
Jin Song Dong, Singapore
Cindy Eisner, Israel
Lars-Henrik Eriksson, Sweden
Juhan-P. Ernits, Estonia
Jasmin Fisher, UK
John Fitzgerald, UK
Limor Fix, Israel
Marc Frappier, Canada
Marcelo Frias, Argentina
Masahiro Fujita, Japan
Marie-Claude Gaudel, France
Stefania Gnesi, Italy
Lindsay Groves, New Zealand
Anthony Hall, UK
Anne Haxthausen, Denmark
Ian Hayes, Australia
Matthew Hennessy, Republic of Ireland
Leszek Holenderski, The Netherlands
Ralf Huuck, Australia
Predrag Janicic, Serbia
Cliff Jones, UK
Rajeev Joshi, USA
Shmuel Katz, Israel
Moonzoo Kim, Republic of Korea
Nils Klarlund, USA
Jens Knoop, Austria
Bob Kurshan, USA
Peter Gorm Larsen, Denmark
Yves Ledru, France
Insup Lee, USA
Huimin Lin, China
Zhiming Liu, Macao
Nancy Lynch, USA
Tom Maibaum, Canada
Dino Mandrioli, Italy
Sjouke Mauw, Luxembourg
Annabelle McIver, Australia
Dominique Mery, France
Marius Minea, Romenia
Peter Mueller, Switzerland
Tobias Nipkow, Germany
Manuel Nunez, Spain
Jose Nuno Oliveira, Portugal
Gordon Pace, Malta
Paritosh Pandya, India
Alberto Pardo, Uruguay
Frantisek Plasil, Czech Republic
Jaco van de Pol, The Netherlands
Ingrid Rewitzky, South Africa
Leila Ribeiro, Brazil
Augusto Sampaio, Brazil
Steve Schneider, UK
Christel Seguin, France
Emil Sekerinski, Canada
Kaisa Sere, Finland
Natalia Sidorova, The Netherlands
Marjan Sirjani, Iran
Ketil Stolen, Norway
Andrzej Tarlecki, Poland
Axel van Lamsweerde, Belgium
Daniel Varro, Hungary
Marcel Verhoef, The Netherlands
Jurgen Vinju, The Netherlands
Willem Visser, USA
Farn Wang, Taiwan
Jim Woodcock, UK
Husnu Yenigun, Turkey


FM 2009 is part of:

*********************************************************
*                                                       *
*     +============================================+    *
*     |                                            |    *
*     |                 ** FMweek **               |    *
*     |                                            |    *
*     +============================================+    *
*     |     FMICS     |    FM2009    |   REFINE    |    *
*     +--------------------------------------------+    *
*     |        PDMC      |     TESTCOM/FATES       |    *
*     +--------------------------------------------+    *
*     |              WATCH THIS SPACE              |    *
*     +--------------------------------------------+    *
*     |        http://www.win.tue.nl/fmweek        |    *
*     +============================================+    *
*                                                       *
*********************************************************