Formal Methods Europe

Homepage of FME

FM 2012 in Paris

By Bernhard Aichernig • Oct 29th, 2010 • Category: News

The FM 2012 Symposium will be held at the Conservatoire National des Arts et Metiers (CNAM) in central Paris during August 27-31, 2012. The general chairs are Kamel Barkaoui (CNAM) and Béatrice Berard (Laboratoire d’Informatique de Paris 6). The PC chairs are  Dominique Mery and Dimitra Giannakopoulou. More details and updated information can be found on the symposium website.

The FM conference series is the main event on formal methods organized by the FME organization. A list of past FM symposia can be found here.

(Photo: Anirudh Koul)

Comments are closed.