Conférence de Nantes 2010 : “La Méthode B, de la Recherche à l’Enseignement”

L’Université de Nantes organise la 3ème édition de sa conférence, dédiée à la méthode B.

Celle-ci se déroulera le 7 juin 2010, à la Cité Internationale des Congrès et rassemblera les grands acteurs du langage B autour de différentes problématiques liées aux méthodes formelles.

CLEARSY y participera, et fera une présentation des différentes actions menées au cours des 10 dernières années pour promouvoir le B au travers de son outil Atelier B, un outil de génie logiciel, permettant de développer des systèmes et logiciels prouvés.

Site de l’événement : http://www.lina.sciences.univ-nantes.fr/apcb/BDayNantes2010/index.html