[TYPES/announce] 13th Rodin User and Developer Workshop - Co-located with FM 2026

[Asieh Salehi Fathabadi]

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 FM 2026 Conference<https://urldefense.com/v3/__https://conf.researchr.org/home/fm-2026__;!!IBzWLUs!Vc6sPwV0txnS54dHPjJ2ZyVwenO_WkeRCp6EeDm90JtUsI8h7wGVF0iV2xj2pI7qU1kPOQrI0l2yRP0btR--M_F_Z8YtBR43jco$ >,.

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 at ecs.soton.ac.uk<mailto:rodin at 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.

Exclusive Opportunity: Special Issue Publication

This year, we are excited to announce that a special issue is in the planning stages, and the selected high-quality submissions will be invited to contribute to a Special Issue.

(Note: The finalisation of the special issue is currently underway.)


Organisers

Asieh Salehi Fathabadi<https://urldefense.com/v3/__https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi__;!!IBzWLUs!Vc6sPwV0txnS54dHPjJ2ZyVwenO_WkeRCp6EeDm90JtUsI8h7wGVF0iV2xj2pI7qU1kPOQrI0l2yRP0btR--M_F_Z8YtT_uSDbM$ >, Lecturer, University of Southampton

Laurent Voisin, R&D Manager, Systerel<https://urldefense.com/v3/__https://www.systerel.fr/en/__;!!IBzWLUs!Vc6sPwV0txnS54dHPjJ2ZyVwenO_WkeRCp6EeDm90JtUsI8h7wGVF0iV2xj2pI7qU1kPOQrI0l2yRP0btR--M_F_Z8YtOySvAFM$ >

Neeraj Kumar Singh<https://urldefense.com/v3/__https://sites.google.com/site/singhnne/__;!!IBzWLUs!Vc6sPwV0txnS54dHPjJ2ZyVwenO_WkeRCp6EeDm90JtUsI8h7wGVF0iV2xj2pI7qU1kPOQrI0l2yRP0btR--M_F_Z8Ytq5_fxf0$ >, Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse

Michael Leuschel<https://urldefense.com/v3/__https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel__;!!IBzWLUs!Vc6sPwV0txnS54dHPjJ2ZyVwenO_WkeRCp6EeDm90JtUsI8h7wGVF0iV2xj2pI7qU1kPOQrI0l2yRP0btR--M_F_Z8Yt9bWHbl0$ >, Professor, Heinrich-Heine-Universität, Germany

Son Hoang<https://urldefense.com/v3/__https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang__;!!IBzWLUs!Vc6sPwV0txnS54dHPjJ2ZyVwenO_WkeRCp6EeDm90JtUsI8h7wGVF0iV2xj2pI7qU1kPOQrI0l2yRP0btR--M_F_Z8YtzVwRggs$ >, Associate Professor, University of Southampton


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260216/26ac7df3/attachment-0001.htm>