Nos experts participeront à la 10ᵉ Conférence Internationale ABZ, qui se tiendra à Bergame du 25 au 28 juin 2024. Elle vise à favoriser les échanges au sein de la communauté scientifique autour des différentes méthodes formelles.

Cette année encore, Systerel co-organisera l’atelier destiné aux utilisateurs et aux développeurs de Rodin. Cette plate-forme, dédiée au développement en B événementiel, supporte de façon robuste le raffinement de modèles et la preuve mathématique. L’atelier permettra aux utilisateurs de Rodin de partager leurs expériences et de mieux comprendre les développements en cours.

De plus, l’article « Semantics Formalisation — From Event-B Contexts to Theories » dont notre expert, Laurent Voisin, est co-auteur, a été sélectionné au programme de la conférence principale.

Pour en savoir davantage sur cet événement : https://abz-conf.org/site/2024/