[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
[email protected]<mailto:[email protected]> 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
