FM 2012: Call for ParticipationBy admin • Jul 31st, 2012 • Category: News
CALL FOR PARTICIPATION
FM 2012: 18TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
August 27-31, 2012
CNAM, Paris, France
FM 2012 is the eighteenth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software and systems development, industrial users, as well as researchers.
The special theme of FM 2012 is Interdisciplinary Formal Methods, with a goal of highlighting the development and application of formal methods in connection with a variety of disciplines such as medicine, biology, human cognitive modeling, human automation interactions and aeronautics, among others.
We are honored to have three invited speakers whose talks emphasized the special theme: the awareness of the community to the fact that formal methods live in the intersection of disciplines; formal methods research must also consider how to increase its industrial impact.
Martin Abadi - Software Security: A Formal Perspective
Asaf Degani - Formal Methods in the Wild: Trains, Planes, & Automobiles
Alan Wassyng - Who are we and what are we doing here?
The FM2012 Conference programme is available online:
The symposium will also host several associated events: Industry day, workshops, tutorials, Doctoral Consortium and a verification competition. For further information on the associated events, see links from the main website under: http://fm2012.cnam.fr/
Kamel Barkaoui, CEDRIC, CNAM, Paris, France
Béatrice Bérard, LIP6, UPMC, Paris, France
Dimitra Giannakopoulou, NASA Ames, Research Center,Moffett Field, USA
Dominique Méry, LORIA, Université Henri Poincaré Nancy 1, France
WORKSHOPS, 27-28 August 2012
Chairs: Nihal Pekergin, Laure Petrucci, Tayssir Touili, France
INDUSTRY DAY, 30 June 2011
Chairs: Isabelle Perseil, Karim Djouani, Thierry Lecomte, Bruno Monsuez, France
TUTORIALS, 27-28 August 2012
Chairs: Serge Haddad, Fabrice Kordon, France
DOCTORAL SYMPOSIUM, 27 August 2012
Chairs: Christine Choppy, David Delayahe, Kaïs Klaï, France
VERIFICATION COMPETITION, 29-30 August 2012
Chairs: Marieke Huisman, The Netherlands, Vladimir Klebanov, Germany, Rosemary Monahan, Ireland
PUBLICITY CHAIRS: Hanna Klaudel, Frederic Lemoine, Franck Pommereau , Olivier Pons, France
Each day: coffee breaks and sit-down lunches offer ample time for interaction and networking.
Wednesday 29 August evening: Welcome reception in the Chapel Saint-Martin-des-Champs of “Arts et Métiers” Museum
Thursday 30 August evening: Conference dinner on August 30th on the Bateau Mouche “Capitaine Fracasse” on the Seine in Paris
All attendees of FM 2012 Symposium will have, during FM 2012 week, access to the Cnam “Arts et Métiers” Museum.
Further information See: http://fm2012.cnam.fr/fm2012/socialevents.php
Information and online booking: http://fm2012.cnam.fr/fm2012/registration.php
Information on hotels is under: http://fm2012.cnam.fr/fm2012/localinformation.php
Please make sure you book accommodation as soon as possible. Paris will be very busy in that week.
For more info and latest updates see the conference web site at < http://fm2012.cnam.fr/>.
We look forward to seeing you in Paris in August!
Organizing Committee FM 2012