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)