FM2012

Symposium international sur les méthodes formelles

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 .