26 mai 2010
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.