From Research to Teaching Formal Methods: the B Method – Nantes 2010

7 juin 2010, Nantes, France

Présentation

Le colloque « From Research to Teaching Formal Methods: the B Method » s’est déroulé à Nantes le 07 Juin 2010, à l’occasion des journées scientifiques de l’Université de Nantes.

Ce colloque a rassemblé une trentaine de personnes, de France, Allemagne, Suisse et Hongrie. Différents travaux sur B, le B événementiel et les outils associés ont été présentés au cours de cet événement.

On citera notamment l’état de développement et les nouveautés de l’Atelier B 4.0, ainsi qu’une rétrospective concernantl’exploitation et la dissémination de B au cours des 15 dernières années.