Formal Methods Europe

CALL FOR PARTICIPATION

FM 2012: 18TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS

August 27-31, 2012

CNAM, Paris, France

http://fm2012.cnam.fr/

CONFERENCE SCOPE

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.

INVITED TALKS

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:

http://fm2012.cnam.fr/fm2012/conferenceprogram.php

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/

CONFERENCE VENUE

FM 2012 will be held at The Conservatoire National des Arts et Métiers (Le Cnam) in the center of Paris. For further infos, see: http://fm2012.cnam.fr/fm2012/localinformation.php

GENERAL CHAIRS

Kamel Barkaoui, CEDRIC, CNAM, Paris, France

Béatrice Bérard,  LIP6, UPMC, Paris, France

PC CHAIRS

Dimitra Giannakopoulou, NASA Ames, Research Center,Moffett Field, USA

Dominique Méry, LORIA, Université Henri Poincaré Nancy 1, France

PROGRAMME COMMITTEE

See: http://fm2012.cnam.fr/fm2012/programcommittee.php

WORKSHOPS, 27-28 August 2012

Chairs: Nihal Pekergin, Laure Petrucci, Tayssir Touili, France

See: http://fm2012.cnam.fr/fm2012/workshops.php

INDUSTRY DAY, 30 June 2011

Chairs: Isabelle Perseil, Karim Djouani, Thierry Lecomte, Bruno Monsuez, France

See: http://fm2012.cnam.fr/fm2012/industryday.php

TUTORIALS, 27-28 August 2012

Chairs: Serge Haddad, Fabrice Kordon, France

See: http://fm2012.cnam.fr/fm2012/tutorials.php

DOCTORAL SYMPOSIUM, 27 August 2012

Chairs:  Christine Choppy, David Delayahe, Kaïs Klaï, France

See: http://fm2012.cnam.fr/fm2012/doctoralsymposium.php

VERIFICATION COMPETITION, 29-30 August 2012

Chairs: Marieke Huisman, The Netherlands, Vladimir Klebanov, Germany, Rosemary Monahan, Ireland

See: http://fm2012.cnam.fr/fm2012/verificationcompetition.php

PUBLICITY CHAIRS: Hanna Klaudel, Frederic Lemoine, Franck Pommereau , Olivier Pons, France

SOCIAL EVENTS

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

REGISTRATION

Information and online booking: http://fm2012.cnam.fr/fm2012/registration.php

ACCOMODATION

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