26 août 2016
CLEARSY co-organise la 19ème conférence brésilienne sur les méthodes formelles (http://sbmf2016.imd.ufrn.br/) qui aura lieu du 22 au 25 Novembre 2016 à Natal (RN – Brésil).
Deux conférenciers ont été invités: Dr Augusto Sampaio (Université Fédérale de Pernambuco) et Dr Michael Leuschel (Université de Dusseldorf).
CLEARSY contribuera par ailleurs à l’École d’Informatique Théorique et Méthodes Formelles en organisant une séance de travaux pratiques intitulée « développement d’applications critiques avec l’Atelier B ».