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...
Actualités
Gratuité de l’Atelier B
La version 4 de l'Atelier B sera gratuite pour tous dès sa sortie, en fin d'année 2008. La version en cours de préparation est testée en interne et sera...
Colloque International FMICS 2009
CLEARSY a le plaisir de vous annoncer sa participation à la 14eme édition du FMICS (Formal Methods for Industrial Critical Systems) qui se tiendra du 2 au 3...
Colloque International IFM 2009
CLEARSY vous informe de sa participation au colloque IFM 2009 (Integrated Formal Methods) qui se tiendra du 16 au 19 février 2009 à Düsseldorf. Cette 7eme...
Conférence FM’2008, à Turku, en Finlande
A l'occasion de la conférence internationale sur les méthodes formelles (FM'2008), Turku, Finlande (28-30 Mai 2008), CLEARSY a présenté lors de l'Industry Day...
Colloque « B Dissemination Day 2008 », au Brésil
AeS et CLEARSY organisent cette année une journée dédiée à la méthode B, qui se déroulera au Brésil, en août prochain. Cet événement sera présenté à...