ABZ 2025 – 11th International Conference on Rigorous State Based Methods

Keynote speakers

Here it is the list of keynote speakers (in alphabetic order by name).

Michael Butler @ University of Southampton

TBA


Abstract
TBA
Short Bio
Michael Butler is the Dean of Engineering and Physical Science at the University of Southampton. Michael as made many key theoretical and methodological contributions to the refinement calculus and to the B and Event-B formal methods. He has worked on tools such as ProB, U2B, csp2B and the Rodin toolset for Event-B.

Nils Jansen @ Ruhr-University Bochum

TBA


Abstract
TBA
Short Bio
Nils Jansen is Professor of Artificial Intelligence and Formal Methods at the Ruhr-University Bochum. He is also an Associate Professor with the Institute for Computing and Information Sciences at Radboud University Nijmegen, The Netherlands. Nils' mission is to increase the trustworthiness of Artificial Intelligence, bringing together the areas of machine learning and formal methods, in particular, formal verification. He tackles problems that are inspired by autonomous systems and planning problems in robotics. Nils Jansen has been awarded an ERC Starting Grant named DEUCE: Data-Driven Verification and Learning under Uncertainty.

Thierry Lecomte @ CLEARSY

Mathematical Proofs and Moving Trains: The Double Life of Atelier B


Abstract
Atelier B has played a crucial role in ensuring the safety of critical systems for over three decades. This presentation explores the recent evolution of the Atelier B, from the last keynote in 2016 in Linz to its current, expanded role in system engineering across industries. We will revisit key milestones, such as the modeling of complex systems, the development and programming of the CLEARSY Safety Platform, and its use in educating students and engineers. The session will also showcase how the versatility of Atelier B has been harnessed to model, prove, and implement robust systems—from automated metros to industrial control. Through these advancements, Atelier B continues to shape the landscape of high-integrity software development, merging mathematical rigor with practical, real-world applications.
Short Bio
With 30 years of experience in R&D, Thierry Lecomte has worked on industrial projects in the automotive, healthcare, microelectronics, nuclear energy, railway and space industries. Today he is R&D director of CLEARSY, a French SME specialized in the invention of safety critical systems, where he has worked since its creation in 2001. His current subjects of interest are safety and security co-engineering, safe artificial intelligence, and autonomous mobility - all related to formal methods.