Logic List Mailing Archive
Final CfP: FM 2009, Eindhoven (Netherlands), 30 Oct - 7 Nov, 2009
*********************************************************
* *
* FM2009: 16th FM Symposium and 2nd World Congress *
* Theory meets practice *
* *
* *** FINAL Call For Papers *** *
* Deadline for submissions: 4 May *
* ** ONE MONTH TO GO ** *
* *
* October 30 - November 7, 2009 *
* Eindhoven, the Netherlands *
* http://www.win.tue.nl/fm2009 *
* *
*********************************************************
* *
* ** NEWS ** *
* *
* >> FMWEEK INVITED SPEAKER: *
* ____________Prof. E. Allen Emerson_____________ *
* (Univ. of Texas, Austin) *
* co-recipient of the *
* _____________2007 ACM Turing Award_____________ *
* *
* >> Submission server now open: *
* http://www.easychair.org/conferences/?conf=fm2009 *
* *
* >> Spotlight event: *
* Authors of papers presented in the tools track *
* will be invited to participate in the Tool *
* Exhibition. A special spotlight session *
* of the Exhibition will feature all these tools. *
* *
*********************************************************
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 82 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 these topics.
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 Formal Aspects of Computing or Formal
Methods in Systems Design.
Complete and up to date information can be found at
http://www.win.tue.nl/fm2009/. There will be tutorials,
workshops, a Doctoral Symposium, and a Tools Exhibition.
FM2009 is also part of the 1st FMweek (Formal Methods
week, http://www.win.tue.nl/fmweek/), which will bring
together a variety of events in the area.
SUBMISSION PROCEDURE
====================
The proceedings of FM2009 will be published as a volume
in the Springer Lecture Notes in Computer Science.
Submitted papers should not have been submitted elsewhere
for publication, should be in Springer's LNCS format, as
described on http://www.springer.com/lncs, and should not
exceed 16 pages including appendices.
Submission deadline 4 May, 2009
Notification of acceptance 6 July, 2009
Final version 10 August, 2009
Papers will be processed through the EasyChair conference
management system. To submit your paper, please visit:
http://www.easychair.org/conferences/?conf=fm2009
Authors who would like their papers to be included in the
special track on tools and industrial applications should
indicate either "tool" or "industrial application" as the
first keyword. These papers will be judged on the same
basis as all the others, but if accepted, they will be
presented jointly in special sessions.
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
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 | *
* +--------------------------------------------+ *
* | FACS | CPA | FAST | FMCO | *
* +--------------------------------------------+ *
* | http://www.win.tue.nl/fmweek | *
* +============================================+ *
* *
*********************************************************