Rechercher

FM 2012 - 18th International Symposium on Formal Methods

Lieu: Cnam Paris
Date et Heure de début: 27-08-2012
Date et Heure de fin: 31-08-2012
Description:

 

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. Submissions are welcomed in the form of original papers on research and industrial experience, proposals for workshops and tutorials, entries for the exhibition of software tools and projects, and reports on ongoing doctoral work.

The FM 2012 Symposium will be based around the theme Interdisciplinary Formal Methods.

FM 2012 will be held at the Conservatoire National des Arts et Métiers (Le Cnam) with the support of the Cnam Computer Science Department and the MeFoSyLoMa group (Méthodes Formelles pour les Systèmes Logiciels et Matériels). Submissions are welcomed in the form of original papers on research and industrial experience, proposals for workshops and tutorials, entries for the exhibition of software tools and projects, and reports on ongoing doctoral work.

Site Web: http://fm2012.cnam.fr/
Organise: Vespa
Contact: Kamel Barkaoui
kamel.barkaouicnam.fr