CLEARSY est fière de participer à Horizon Maths 2024. C'est une initiative de la Fondation Sciences Mathématiques de Paris centrée sur "la preuve mathématique...
Colloque
AFADL – GDR GPL : CLEARSY fera une présentation sur l’Intégration d’outils tiers de preuve automatique dans l’Atelier B
Les dix-huitièmes journées AFADL (Approches Formelles dans l’Assistance au Développement Logiciel) se tiendront du 11 au 14 juin 2019 à l’ENSEEIHT, en même...
Conférence Formal Methods à Oxford du 15 au 17 juillet 2018
A l'occasion de la conférence Formal Methods qui se tiendra à Oxford (UK) du 15 au 17 Juillet 2018, CLEARSY présentera sa vision de l'utilisation des méthodes...
AFADL 2014 : Les 11 et 12 juin 2014
CLEARSY sponsorise AFADL 2014 qui aura lieu au CNAM (Paris, France) simultanément avec les conférences CAL et CIEL, ainsi que les journées du GDR GPL....
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 Smart Event 2009, qui s'est déroulé du 22 au 25 septembre 2009, un article...
Conférence : la Méthode B, de la Recherche à l’Enseignement
L'université de Nantes organise une conférence dédiée à la Méthode B. Elle se déroulera le 16 juin 2008, à la Cité Internationale des Congrès, dans la ville...