Rodin Workshop 2026

13th Rodin User and Developer Workshop

The 13th Rodin User and Developer Workshop, May 18th-19th, 2026, Tokyo, Japan

Event-B is a formal method for system-level modelling and analysis. The Rodin Platform is an Eclipse-based toolset for Event-B that provides effective support for modelling and automated proof.

The platform is open-source and is further extendable with plug-ins. A range of plug-ins have already been developed.

The 13th Rodin workshop will be collocated with the ,b.FM 2026 Conference,/b>.

The purpose of this workshop is to bring together existing and potential users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers.

For Rodin users the workshop will provide an opportunity to share tool experiences and to gain an understanding of on-going tool developments.

For plug-in developers the workshop will provide an opportunity to showcase their tools and to achieve better coordination of tool development effort.

Submission

If you are interested in giving a presentation at the Rodin workshop or have a plug-in to demonstrate, send

a short abstract (1 or 2 pages PDF) to rodin@ecs.soton.ac.uk by 15th March 2026.

Notification will be send out early April.

We will endeavour to accommodate all submissions that are clearly relevant to Rodin and Event-B. The proceedings of the workshop will be available as a technical report at the University of Southampton.

Organisers

Asieh Salehi Fathabadi, Lecturer, University of Southampton

Laurent Voisin, R&D Manager, Systerel

Neeraj Kumar Singh, Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse

Michael Leuschel, Professor, Heinrich-Heine-Universität, Germany

Son Hoang, Associate Professor, University of Southampton