Our experts will participate in the 10th International ABZ Conference, which will be held in Bergamo from June 25 to 28, 2024. The conference aims to promote exchanges within the scientific community on various formal methods.

Once again this year, Systerel will co-organize the workshop for users and developers of Rodin. This platform, dedicated to Event-B development, robustly supports model refinement and mathematical proof. The workshop will enable Rodin users to share their experiences and gain a better understanding of ongoing developments.

Additionally, the paper “Semantics Formalisation — From Event-B Contexts to Theories,” co-authored by our expert Laurent Voisin, has been selected for the main conference program.

To learn more about this event: https://abz-conf.org/site/2024/