FM2012
Symposium international sur les méthodes formelles

27 août 2012
31 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.

Dans la même rubrique
- Accueil
- Agenda
-
Expositions virtuelles
- L'abbé Grégoire, un héritage toujours vivant
- Main tenant
- La bibliothèque du Cnam, hier & aujourd'hui
- Objets du Musée
- Décalcomanie
- Répare-moi si tu peux
- Exploração
- Le Piano oriental
- 5 sens et 9e art
- Surimpressions
- Détours verts : le futur des transports
- Out of Home
- The Shoe Must Go On
- Simplement Afghanes
- Exils syriens
- Made in Cnam
- Station 9e art
- Itinéraires
- Infinités plurielles
- Histoires d'objets
- Roms entre autres
- La déportation des enfants juifs du 3e arrondissement
- Medias-Cnam
- Vient de paraître
- Bibliothèques (SCD)
- Conservatoire numérique des Arts et Métiers (Cnum)
- Musée des Arts et Métiers