FM2012
Symposium international sur les méthodes formelles
27 août 201231 août 2012
- Paris Saint-Martin/Conté
FM2012 est le 18e colloque organisé par l'association indépendante Formal Methods Europe, dont le but est de développer l'usage et la recherche sur les méthodes formelles de développement de logiciels.
Il réunit des innovateurs et des utilisateurs de méthodes mathématiques spécifiques pour le développement de systèmes et de logiciels, ainsi que des chercheurs.
Le colloque FM2012 est centré sur les méthodes formelles interdisciplinaires.
Il met en lumière le développement et l'application des méthodes formelles, en lien avec un large spectre de disciplines telles que, notamment, la médecine, la biologie, les sciences cognitives, l'automatisme et l'aéronautique .