* FM2009: First CFP
@ 2008-10-02 9:04 Ana.Cavalcanti
0 siblings, 0 replies; only message in thread
From: Ana.Cavalcanti @ 2008-10-02 9:04 UTC (permalink / raw)
To: categories
*********************************************************
* *
* 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 | *
* +============================================+ *
* *
*********************************************************
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2008-10-02 9:04 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-10-02 9:04 FM2009: First CFP Ana.Cavalcanti
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).