Accueil | Actualités B | La Méthode B | Travaux R&D | Preuve Formelle | Publications | Conférences | B, les différents langages | Projets Open Source | Outils B | Documents | Liens | Contact  

---

From Research to Teaching Formal Methods: the B Method

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 concernant l'exploitation et la dissémination de B au cours des 15 dernières années.