CLEARSY dispensera des cours relatifs aux méthodes formelles à l'Ecole des Mines de Gardanne, durant le mois de janvier 2010. Ces cours, totaliseront 18...
Actualités
Smart Event 2009 – Présentation du projet Forcoment, développé avec l’Atelier B
Smart Event 2009 - Présentation du projet Forcoment, développé avec l'Atelier B Marc Benveniste (STMicroelectronics) a présenté à l'occasion de l'évènement...
Workshop on Recent Innovations and Applications in B (RIAB)
3 Novembre 2009 à Eindhoven Le workshop "Recent Innovations and Applications in B" (RIAB) aura lieu le 3 novembre 2009 durant le Formal Methods Weeket...
RIAB – Workshop on Recent Innovations and Applications in B
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.
Workshop RODIN, Université de Southampton, 16-17 juillet 2009
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...
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...