Yoann Guyot assistera à la semaine ABZ 2014 qui aura lieu à Toulouse du 2 au 6 juin prochain. Il interviendra comme orateur dans le cadre du workshop SETS consacré aux méthodes et outils formels basé sur la théorie des ensembles. Son intervention concerne des avancées dans l’utilisation de solveurs SMT pour la réalisation de preuves dans le langage Event-B au sein de la plateforme RODIN.