Conférence internationale SBMF 2017

CLEARSY participe à la conférence internationale SBMF 2017 (http://sbmf2017.cin.ufpe.br/) relative aux méthodes formelles qui aura lieu du 27 Novembre au 1er Décembre 2017, à Recife (Brésil).
A cette occasion, CLEARSY présentera un article scientifique intitulé « Applying a Formal Method in Industry: a 25-Year Trajectory ».
Par ailleurs, une session de formation sera organisée dans le cadre de  ETMF 2017 (Escola de Informática Teórica e Métodos Formais) afin d’initier des étudiants à la modélisation avec la méthode B, à l’utilisation de l’éditeur de modèles abstraits ainsi qu’au développement d’applications critiques avec la plateforme LCHIP.