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
Conférence de Nantes du 16 juin 2008
La Méthode B, de la Recherche à l'Enseignement
Le colloque "the B method: from Research to Teaching" s'est déroulé à Nantes le 16 juin 2008, à
l'occasion des journées scientifiques de l'Université de Nantes.
Ce colloque a rassemblé une trentaine de personnes, de France, Allemagne, Suisse, Angleterre, Hongrie et Japon. 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.
Aperçu de la Conférence...
