FM2009 is the sixteenth symposium in a series of the Formal Methods Europe association (FME). The symposium will be organized as a world congress. Ten years after FM'99 in Toulouse, the first world congress, the formal methods communities from all over the world will again have the opportunity to meet. Therefore, FM2009 will be both an occasion to celebrate, and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds and schools to exchange their ideas and share their experience.
FM2009 will encompass all activities that have become associated with the FME-symposia over the years:
In addition, FM2009 will co-locate with 15 other events and meetings in the area of formal methods and their applications in the first Formal Methods Week (FMweek), which will take place at the Technische Universiteit Eindhoven from November 2-6 2009. One of these events is the 2nd International FME Conference on Teaching Formal Methods (TFM2009).
The full program for the Technical Symposium, 50 talks distributed over three days, is now available on the Symposium page.
The Program Committee for the Doctoral Symposium has selected 10 students, who will present their work to a committee of friendly examiners on November 6. The program for the event is now available at the Doctoral Symposium section of the website
Early registration is now open for all parts of FM2009. Please visit the Registration section of the website for an explanation of the registration process and a specification of the registration fees
On Thursday November 5, FM2009 will have its Industry Day, dedicated to industrial experience with the application of Formal Methods. The programme for this event is now confirmed.
The following tutorials have been selected to take place on the Monday and Tuesday preceding the Symposium:
The Formal Methods in System Design journal will dedicate a special anniversary issue to FM2009, for which authors of selected papers will be invited to submit a journal version of their conference paper.
The following workshops have been selected to take place on the Monday and Tuesday preceding the Symposium:
The Formal Aspects of Computing journal will dedicate a special anniversary issue to FM2009, for which authors of selected papers will be invited to submit a journal version of their conference paper.
Springer has confirmed that the proceedings of FM2009 will be published as a volume in the Lecture Notes in Computer Science series (www.springer.com/lncs).
Reflecting the global span of FM2009, a Programme Committee of 82 members representing 46 countries has been recruited.
The invited speakers for FM2009 are: Wan Fokkink (The Netherlands), Carroll Morgan (Australia), Colin O'Halloran (United Kingdom), Sriram Rajamani, (India), and Jeannette Wing (United States of America).
Springer will sponsor a Best Paper Award, which will include free electronic access to the Formal Aspects of Computing journal for one year, and a choice of Springer books.