Le workshop "Recent Innovations and Applications in B" (RIAB) aura lieu le 3 novembre 2009 durant le Formal Methods Week... En savoir plus sur RIAB...
Actualités
L’Atelier B 4.0 est disponible !
Nous avons le plaisir de vous annoncer la sortie de l'Atelier B 4.0. Celle-ci s'accompagne d'un tout nouveau mode de distribution pour lequel : le...
Conférence : La Méthode B, de la Recherche à l’Enseignement à Nantes
L'université de Nantes organise une nouvelle édition de sa conférence dédiée à la Méthode B. Celle-ci de déroulera le 8 juin 2009, à la Cité Internationale...
La nouvelle version de l’Atelier B est en beta test 2
Pour en savoir plus, rendez-vous sur le site de l'Atelier B.
Conférence ABZ 2010
CLEARSY annonce sa participation à la Conférence ABZ 2010 qui se tiendra du 23 au 25 février 2010, à Orford au Canada. Cet événement a pour objectif de réunir...
La nouvelle version de l’Atelier B est en beta test
Pour en savoir plus, rendez-vous sur le site de l'Atelier B.