13th Rodin User and Developer Workshop - Co-located with FM 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 FM 2026 Conference <https://conf.researchr.org/home/fm-2026>,. 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 <mailto: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. 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://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi>, Lecturer, University of Southampton Laurent Voisin, R&D Manager, Systerel <https://www.systerel.fr/en/> Neeraj Kumar Singh <https://sites.google.com/site/singhnne/>, Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse Michael Leuschel <https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel>, Professor, Heinrich-Heine-Universität, Germany Son Hoang <https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang>, Associate Professor, University of Southampton
participants (1)
-
Neeraj Kumar Singh