[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
********************************************************* * * * FM2009: 16th FM Symposium and 2nd World Congress * * Theory meets practice * * * * *** First Call For Participation *** * * * * November 2 - November 7, 2009 * * Eindhoven, the Netherlands * * http://www.win.tue.nl/fm2009 * * * ********************************************************* * * * ** NEWS ** * * * * >> Full programme for FM2009 now available * * * * >> Registration for FM2009 is open * * * * * ********************************************************* 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. Reflecting the global span of FM2009, the Programme Committee recruited from all over the world selected 45 papers, on every aspect of the *development and application of formal methods for the improvement of the current practice on system developments*. These papers will be presented during a three-day Technical Symposium, which also features an Industry Day in which formal method providers will report on their experience with industrial projects, on how methods and tools needed to be changed and adapted when confronted with industrial requirements, and on what they see as major challenges for their method or tool to be applied routinely in industry. In the days leading up to the Technical Symposium, seven Workshops on new or emerging fields of application of formal methods will be held as well as seven Tutorials on advanced topics in formal methods research (see below for a listing). Throughout the week, both industrial and academic tools based on formal methods will be on display in a Tool Exhibition. 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 activities in the area. INVITED SPEAKERS ================ Wan Fokkink, The Netherlands Carroll Morgan, Australia Colin O'Halloran, UK Sriram Rajamani, India Jeannette Wing, USA WORKSHOPS ========= 01 FMIS Formal Methods for Interactive Systems (organizers: Michael Harrison and Mieke Massink) 02 VDM and Overture (organizers: Peter Gorm Larsen and Jeremy Bryans) 03 CompMod Computational Models for Cell Processes (organizers: Ralph-Johan Back, Ion Petre, Erik de Vink) 04 FAVO Formal Aspects of Virtual Organizations (organizers: John Fitzgerald and Jeremy Bryans) 05 FMA Formal Methods for Aeronautics (organizers: Manuela Bujorianu, Michael Fisher, Corina Pasareanu) 06 FOPARA Foundational and Practical Aspects of Resource Analysis (organizers: Marko van Eekelen, Olha Shkaravska) 07 QFM Quantitative Formal Methods - Theory and Applications (organizers: Suzana Andova and Annabelle McIver) TUTORIALS ========= 01 Analyzing UML/OCL models with HOL-OCL (tutors: Achim Brucker, Burkhart Wolff) 02 Bounded Model-Checking and Satisfiability-Checking (tutors: Angelo Morzenti, Matteo Pradella, Matteo Rossi) 03 Practical MPI and Pthread Dynamic Verification (tutors: Ganesh Gopalakrishnan, Robert M. Kirby) 04 Computational Systems Biology (tutors: Ion Petre, Ralph-Johan Back) 05 Behavioural Analysis using mCRL2 (tutors: Aad Mathijssen, Michel Reniers, Tim Willemse) 06 Rely/Guarantee-thinking (tutors: Joey Coleman, CliffJones) 07 Constraint-based Validation of Imperative Programs (tutors: Michel Rueher, Arnaud Gotlieb) VENUE ===== The venue for FM2009 is the Auditorium of Eindhoven University of Technology. The university campus lies in the centre of Eindhoven, within walking distance of conference hotels. The city itself can easily be reached via both its own airport and Schiphol (the Dutch mainport). REGISTRATION ============ The event website provides a one-stop window where participants can register for any combination of FM2009 activities of the event they would like to participate in, and make hotel reservation for their stay in Eindhoven. ********************************************************* * * * +============================================+ * * | | * * | ** FMweek ** | * * | | * * +============================================+ * * | FMICS | FM2009 | REFINE | * * +--------------------------------------------+ * * | PDMC | TESTCOM/FATES | * * +--------------------------------------------+ * * | FACS | CPA | FAST | FMCO | * * +--------------------------------------------+ * * | http://www.win.tue.nl/fmweek | * * +============================================+ * * * *********************************************************