Conférence Formal Methods à Oxford du 15 au 17 juillet 2018

ClearSy participe au Forum Méthodes Formelles “Le model-checking en action”

AFADL 2014 : Les 11 et 12 juin 2014

Smart Event 2009 – Présentation du projet Forcoment, développé avec l’Atelier B

Conférence : la Méthode B, de la Recherche à l’Enseignement

Conférence ABZ 2008 du 16 au 18 septembre 2008, à Londres