CLEARSY participe au workshop AI4FM 2011, qui aura lieu les 28 et 29 Avril 2011 à l'université d'Edinburgh. L'objectif du projet AI4FM est d'introduire des...
Actualités
FM2011 Industry Day
CLEARSY a le plaisir de vous annoncer sa participation à l'Industry Day de FM2011, le 17ème symposium international dédié aux méthodes formelles qui se...
From Research to Teaching Formal Methods: the B Method – Nantes 2010
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, à...
Bibliographie : Jean-Raymond Abrial sort un livre dédié au B évènementiel
Le Livre de Jean-Raymond Abrial, dédié au B événementiel est disponible depuis le mois de mai 2010. Ce livre, rédigé en anglais et comprenant plus de 600...
Conférence de Nantes 2010 : “La Méthode B, de la Recherche à l’Enseignement”
L’Université de Nantes organise la 3ème édition de sa conférence, dédiée à la méthode B. Celle-ci se déroulera le 7 juin 2010, à la Cité Internationale des...
CLEARSY annonce sa participation au FMICS 2010
CLEARSY a le plaisir d'annoncer sa participation à la 15ème édition du FMICS 2010 (Formal Methods for Industrial Critical Systems) qui se déroulera du 20 au...