********************************************************* * * * 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 | * * +============================================+ * * * *********************************************************