UTP 2012 : 4th International Symposium on Unifying Theories of Programming

Colocated Events

FM 2012

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.
FM 2012 will be held at the Conservatoire National des Arts et Métiers (Le Cnam) in the center of Paris with the support of the Cnam Computer Science Department and the MeFoSyLoMa group (Méthodes Formelles pour les Systèmes Logiciels et Matériels).

Workshops and Symposia