FM2012

Symposium international sur les méthodes formelles

Pascaline: machine à calculer de Blaise Pascal (Musée des arts et métiers- Cam)

27 août 2012
31 août 2012

  • Paris Saint-Martin/Conté
Contact
Kamel Barkaoui - Cedric, Cnam Paris
Envoyer un courriel
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.
 
Pascaline: machine à calculer de Blaise Pascal (Musée des arts et métiers- Cam)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 .