21 July 2020
CLEARSY co-organizes the 19th Brazilian Symposium of Formal Methods (http://sbmf2016.imd.ufrn.br/) that will take place in Natal (RN – Brazil), November 22-25, 2016.
Two speakers have been invited: Dr Augusto Sampaio (Federal University of Pernambuco) et Dr Michael Leuschel (University of Dusseldorf).
CLEARSY will also organize a hands-on session for the Theoritical Computer Science and Formal Methods School, entitled “Safety Critical Applications Development with Atelier B”.