https://wiki.event-b.org/api.php?action=feedcontributions&feedformat=atom&user=AsiehEvent-B - User contributions [en-gb]2026-04-19T20:17:32ZUser contributionsMediaWiki 1.42.1https://wiki.event-b.org/index.php?title=File:202609.pdf&diff=14659File:202609.pdf2026-04-13T21:03:53Z<p>Asieh: </p>
<hr />
<div></div>Asiehhttps://wiki.event-b.org/index.php?title=File:202608.pdf&diff=14658File:202608.pdf2026-04-13T21:03:45Z<p>Asieh: </p>
<hr />
<div></div>Asiehhttps://wiki.event-b.org/index.php?title=File:202607.pdf&diff=14657File:202607.pdf2026-04-13T21:03:35Z<p>Asieh: </p>
<hr />
<div></div>Asiehhttps://wiki.event-b.org/index.php?title=File:202606.pdf&diff=14656File:202606.pdf2026-04-13T21:03:26Z<p>Asieh: </p>
<hr />
<div></div>Asiehhttps://wiki.event-b.org/index.php?title=File:202605.pdf&diff=14655File:202605.pdf2026-04-13T21:03:14Z<p>Asieh: </p>
<hr />
<div></div>Asiehhttps://wiki.event-b.org/index.php?title=File:202604.pdf&diff=14654File:202604.pdf2026-04-13T21:03:05Z<p>Asieh: </p>
<hr />
<div></div>Asiehhttps://wiki.event-b.org/index.php?title=File:202603.pdf&diff=14653File:202603.pdf2026-04-13T21:02:44Z<p>Asieh: </p>
<hr />
<div></div>Asiehhttps://wiki.event-b.org/index.php?title=File:202602.pdf&diff=14652File:202602.pdf2026-04-13T21:02:15Z<p>Asieh: </p>
<hr />
<div></div>Asiehhttps://wiki.event-b.org/index.php?title=File:202601.pdf&diff=14651File:202601.pdf2026-04-13T21:01:31Z<p>Asieh: </p>
<hr />
<div></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2026&diff=14650Rodin Workshop 20262026-04-13T20:42:34Z<p>Asieh: /* 13th Rodin User and Developer Workshop */</p>
<hr />
<div><br />
==13th Rodin User and Developer Workshop==<br />
<br />
The 13th Rodin User and Developer Workshop, <b>May 18th, 2026, Tokyo, Japan</b> <b>* Hybrid event *</b><br />
<br />
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. <br />
<br />
The platform is open-source and is further extendable with plug-ins. A range of plug-ins have already been developed.<br />
<br />
The 13th Rodin workshop will be collocated with the <b>[https://conf.researchr.org/home/fm-2026 FM 2026 Conference],</b>. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
Proceedings is available [will be available here].<br />
<br />
== Programme ==<br />
<br />
'''14:00 – 16:05 JST''' Session 1 — ''In-person presentations: ''<br />
* chronoEvent-B: A Rodin Plugin for Timed Constraints in Event-B — ''Amel Mammar, Cabrel Feukeng Momo, Marc Frappier*, Paul Gibson'' ([[Media:202601.pdf|pdf]], [[Media:202601_slides.pdf|slides]])<br />
* Rust Toolchain for Event-B with Language Server Support — ''Denis Efremov*, Ilya Shchepetkov'' ([[Media:202602.pdf|pdf]], [[Media:202602_slides.pdf|slides]])<br />
* A theory for defining and handling matrices in Event-B — ''Guillaume Dupont*'' ([[Media:202603.pdf|pdf]], [[Media:202603_slides.pdf|slides]])<br />
* Enhancing EB4EB Framework by Introducing Lexicographic Variants — ''Peter Rivière*, Yamine Aït Ameur, Toshiaki Aoki, Guillaume Dupont, Neeraj Kumar Singh, Takashi Tomita, Duong Dinh Tran'' ([[Media:202604.pdf|pdf]], [[Media:202604_slides.pdf|slides]])<br />
* Automated transformation of Event-B machines into EB4EB deep instances — ''Rémy Sangoï, Yamine Aït-Ameur, Guillaume Dupont*, Peter Rivière, and Neeraj K. Singh'' ([[Media:202605.pdf|pdf]], [[Media:202605_slides.pdf|slides]])<br />
<br />
'''16:05 – 16:20 JST''' ''Break''<br />
<br />
'''16:20 – 18:00 JST''' Session 2 — ''Remote presentations:''<br />
* Inductive Set Construction using instantiation and Rodin — ''Dominique Cansell*'' ([[Media:202606.pdf|pdf]], [[Media:202606_slides.pdf|slides]])<br />
* An Event-B Sequent Prover in Prolog and ProB — ''Katharina Engels*, Jan Gruteser*, and Michael Leuschel'' ([[Media:202607.pdf|pdf]], [[Media:202607_slides.pdf|slides]])<br />
* Updates in the Rodin plug-in ecosystem — ''Guillaume Verdier*, Laurent Voisin'' ([[Media:202608.pdf|pdf]], [[Media:202608_slides.pdf|slides]])<br />
*Modeling and Proving the Parallel Climbers Puzzle in Event-B — ''Kevin Schwarz*'' ([[Media:202609.pdf|pdf]], [[Media:202609_slides.pdf|slides]])<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2026&diff=14649Rodin Workshop 20262026-04-13T20:42:24Z<p>Asieh: /* 13th Rodin User and Developer Workshop */</p>
<hr />
<div><br />
==13th Rodin User and Developer Workshop==<br />
<br />
The 13th Rodin User and Developer Workshop, <b>May 18th, 2026, Tokyo, Japan</b> <b>* Hybrid event *</b><br />
<br />
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. <br />
<br />
The platform is open-source and is further extendable with plug-ins. A range of plug-ins have already been developed.<br />
<br />
The 13th Rodin workshop will be collocated with the <b>[https://conf.researchr.org/home/fm-2026 FM 2026 Conference],</b>. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
Proceedings is available [will be availble here].<br />
<br />
== Programme ==<br />
<br />
'''14:00 – 16:05 JST''' Session 1 — ''In-person presentations: ''<br />
* chronoEvent-B: A Rodin Plugin for Timed Constraints in Event-B — ''Amel Mammar, Cabrel Feukeng Momo, Marc Frappier*, Paul Gibson'' ([[Media:202601.pdf|pdf]], [[Media:202601_slides.pdf|slides]])<br />
* Rust Toolchain for Event-B with Language Server Support — ''Denis Efremov*, Ilya Shchepetkov'' ([[Media:202602.pdf|pdf]], [[Media:202602_slides.pdf|slides]])<br />
* A theory for defining and handling matrices in Event-B — ''Guillaume Dupont*'' ([[Media:202603.pdf|pdf]], [[Media:202603_slides.pdf|slides]])<br />
* Enhancing EB4EB Framework by Introducing Lexicographic Variants — ''Peter Rivière*, Yamine Aït Ameur, Toshiaki Aoki, Guillaume Dupont, Neeraj Kumar Singh, Takashi Tomita, Duong Dinh Tran'' ([[Media:202604.pdf|pdf]], [[Media:202604_slides.pdf|slides]])<br />
* Automated transformation of Event-B machines into EB4EB deep instances — ''Rémy Sangoï, Yamine Aït-Ameur, Guillaume Dupont*, Peter Rivière, and Neeraj K. Singh'' ([[Media:202605.pdf|pdf]], [[Media:202605_slides.pdf|slides]])<br />
<br />
'''16:05 – 16:20 JST''' ''Break''<br />
<br />
'''16:20 – 18:00 JST''' Session 2 — ''Remote presentations:''<br />
* Inductive Set Construction using instantiation and Rodin — ''Dominique Cansell*'' ([[Media:202606.pdf|pdf]], [[Media:202606_slides.pdf|slides]])<br />
* An Event-B Sequent Prover in Prolog and ProB — ''Katharina Engels*, Jan Gruteser*, and Michael Leuschel'' ([[Media:202607.pdf|pdf]], [[Media:202607_slides.pdf|slides]])<br />
* Updates in the Rodin plug-in ecosystem — ''Guillaume Verdier*, Laurent Voisin'' ([[Media:202608.pdf|pdf]], [[Media:202608_slides.pdf|slides]])<br />
*Modeling and Proving the Parallel Climbers Puzzle in Event-B — ''Kevin Schwarz*'' ([[Media:202609.pdf|pdf]], [[Media:202609_slides.pdf|slides]])<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2026&diff=14648Rodin Workshop 20262026-04-13T20:42:10Z<p>Asieh: /* 13th Rodin User and Developer Workshop */</p>
<hr />
<div><br />
==13th Rodin User and Developer Workshop==<br />
<br />
The 13th Rodin User and Developer Workshop, <b>May 18th, 2026, Tokyo, Japan</b> <b>* Hybrid event *</b><br />
<br />
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. <br />
<br />
The platform is open-source and is further extendable with plug-ins. A range of plug-ins have already been developed.<br />
<br />
The 13th Rodin workshop will be collocated with the <b>[https://conf.researchr.org/home/fm-2026 FM 2026 Conference],</b>. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
Proceedings is available [ here].<br />
<br />
== Programme ==<br />
<br />
'''14:00 – 16:05 JST''' Session 1 — ''In-person presentations: ''<br />
* chronoEvent-B: A Rodin Plugin for Timed Constraints in Event-B — ''Amel Mammar, Cabrel Feukeng Momo, Marc Frappier*, Paul Gibson'' ([[Media:202601.pdf|pdf]], [[Media:202601_slides.pdf|slides]])<br />
* Rust Toolchain for Event-B with Language Server Support — ''Denis Efremov*, Ilya Shchepetkov'' ([[Media:202602.pdf|pdf]], [[Media:202602_slides.pdf|slides]])<br />
* A theory for defining and handling matrices in Event-B — ''Guillaume Dupont*'' ([[Media:202603.pdf|pdf]], [[Media:202603_slides.pdf|slides]])<br />
* Enhancing EB4EB Framework by Introducing Lexicographic Variants — ''Peter Rivière*, Yamine Aït Ameur, Toshiaki Aoki, Guillaume Dupont, Neeraj Kumar Singh, Takashi Tomita, Duong Dinh Tran'' ([[Media:202604.pdf|pdf]], [[Media:202604_slides.pdf|slides]])<br />
* Automated transformation of Event-B machines into EB4EB deep instances — ''Rémy Sangoï, Yamine Aït-Ameur, Guillaume Dupont*, Peter Rivière, and Neeraj K. Singh'' ([[Media:202605.pdf|pdf]], [[Media:202605_slides.pdf|slides]])<br />
<br />
'''16:05 – 16:20 JST''' ''Break''<br />
<br />
'''16:20 – 18:00 JST''' Session 2 — ''Remote presentations:''<br />
* Inductive Set Construction using instantiation and Rodin — ''Dominique Cansell*'' ([[Media:202606.pdf|pdf]], [[Media:202606_slides.pdf|slides]])<br />
* An Event-B Sequent Prover in Prolog and ProB — ''Katharina Engels*, Jan Gruteser*, and Michael Leuschel'' ([[Media:202607.pdf|pdf]], [[Media:202607_slides.pdf|slides]])<br />
* Updates in the Rodin plug-in ecosystem — ''Guillaume Verdier*, Laurent Voisin'' ([[Media:202608.pdf|pdf]], [[Media:202608_slides.pdf|slides]])<br />
*Modeling and Proving the Parallel Climbers Puzzle in Event-B — ''Kevin Schwarz*'' ([[Media:202609.pdf|pdf]], [[Media:202609_slides.pdf|slides]])<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2026&diff=14647Rodin Workshop 20262026-04-13T20:41:13Z<p>Asieh: /* Programme */</p>
<hr />
<div><br />
==13th Rodin User and Developer Workshop==<br />
<br />
The 13th Rodin User and Developer Workshop, <b>May 18th, 2026, Tokyo, Japan</b> <b>* Hybrid event *</b><br />
<br />
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. <br />
<br />
The platform is open-source and is further extendable with plug-ins. A range of plug-ins have already been developed.<br />
<br />
The 13th Rodin workshop will be collocated with the <b>[https://conf.researchr.org/home/fm-2026 FM 2026 Conference],</b>. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
Proceedings is available [https://eprints.soton.ac.uk/503334/1/RodinWorkshop2025_proceedings.pdf here].<br />
<br />
== Programme ==<br />
<br />
'''14:00 – 16:05 JST''' Session 1 — ''In-person presentations: ''<br />
* chronoEvent-B: A Rodin Plugin for Timed Constraints in Event-B — ''Amel Mammar, Cabrel Feukeng Momo, Marc Frappier*, Paul Gibson'' ([[Media:202601.pdf|pdf]], [[Media:202601_slides.pdf|slides]])<br />
* Rust Toolchain for Event-B with Language Server Support — ''Denis Efremov*, Ilya Shchepetkov'' ([[Media:202602.pdf|pdf]], [[Media:202602_slides.pdf|slides]])<br />
* A theory for defining and handling matrices in Event-B — ''Guillaume Dupont*'' ([[Media:202603.pdf|pdf]], [[Media:202603_slides.pdf|slides]])<br />
* Enhancing EB4EB Framework by Introducing Lexicographic Variants — ''Peter Rivière*, Yamine Aït Ameur, Toshiaki Aoki, Guillaume Dupont, Neeraj Kumar Singh, Takashi Tomita, Duong Dinh Tran'' ([[Media:202604.pdf|pdf]], [[Media:202604_slides.pdf|slides]])<br />
* Automated transformation of Event-B machines into EB4EB deep instances — ''Rémy Sangoï, Yamine Aït-Ameur, Guillaume Dupont*, Peter Rivière, and Neeraj K. Singh'' ([[Media:202605.pdf|pdf]], [[Media:202605_slides.pdf|slides]])<br />
<br />
'''16:05 – 16:20 JST''' ''Break''<br />
<br />
'''16:20 – 18:00 JST''' Session 2 — ''Remote presentations:''<br />
* Inductive Set Construction using instantiation and Rodin — ''Dominique Cansell*'' ([[Media:202606.pdf|pdf]], [[Media:202606_slides.pdf|slides]])<br />
* An Event-B Sequent Prover in Prolog and ProB — ''Katharina Engels*, Jan Gruteser*, and Michael Leuschel'' ([[Media:202607.pdf|pdf]], [[Media:202607_slides.pdf|slides]])<br />
* Updates in the Rodin plug-in ecosystem — ''Guillaume Verdier*, Laurent Voisin'' ([[Media:202608.pdf|pdf]], [[Media:202608_slides.pdf|slides]])<br />
*Modeling and Proving the Parallel Climbers Puzzle in Event-B — ''Kevin Schwarz*'' ([[Media:202609.pdf|pdf]], [[Media:202609_slides.pdf|slides]])<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2026&diff=14646Rodin Workshop 20262026-04-13T20:41:04Z<p>Asieh: /* Programme */</p>
<hr />
<div><br />
==13th Rodin User and Developer Workshop==<br />
<br />
The 13th Rodin User and Developer Workshop, <b>May 18th, 2026, Tokyo, Japan</b> <b>* Hybrid event *</b><br />
<br />
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. <br />
<br />
The platform is open-source and is further extendable with plug-ins. A range of plug-ins have already been developed.<br />
<br />
The 13th Rodin workshop will be collocated with the <b>[https://conf.researchr.org/home/fm-2026 FM 2026 Conference],</b>. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
Proceedings is available [https://eprints.soton.ac.uk/503334/1/RodinWorkshop2025_proceedings.pdf here].<br />
<br />
== Programme ==<br />
<br />
'''14:00 – 16:05 JST''' Session I — ''In-person presentations: ''<br />
* chronoEvent-B: A Rodin Plugin for Timed Constraints in Event-B — ''Amel Mammar, Cabrel Feukeng Momo, Marc Frappier*, Paul Gibson'' ([[Media:202601.pdf|pdf]], [[Media:202601_slides.pdf|slides]])<br />
* Rust Toolchain for Event-B with Language Server Support — ''Denis Efremov*, Ilya Shchepetkov'' ([[Media:202602.pdf|pdf]], [[Media:202602_slides.pdf|slides]])<br />
* A theory for defining and handling matrices in Event-B — ''Guillaume Dupont*'' ([[Media:202603.pdf|pdf]], [[Media:202603_slides.pdf|slides]])<br />
* Enhancing EB4EB Framework by Introducing Lexicographic Variants — ''Peter Rivière*, Yamine Aït Ameur, Toshiaki Aoki, Guillaume Dupont, Neeraj Kumar Singh, Takashi Tomita, Duong Dinh Tran'' ([[Media:202604.pdf|pdf]], [[Media:202604_slides.pdf|slides]])<br />
* Automated transformation of Event-B machines into EB4EB deep instances — ''Rémy Sangoï, Yamine Aït-Ameur, Guillaume Dupont*, Peter Rivière, and Neeraj K. Singh'' ([[Media:202605.pdf|pdf]], [[Media:202605_slides.pdf|slides]])<br />
<br />
'''16:05 – 16:20 JST''' ''Break''<br />
<br />
'''16:20 – 18:00 JST''' Session 2 — ''Remote presentations:''<br />
* Inductive Set Construction using instantiation and Rodin — ''Dominique Cansell*'' ([[Media:202606.pdf|pdf]], [[Media:202606_slides.pdf|slides]])<br />
* An Event-B Sequent Prover in Prolog and ProB — ''Katharina Engels*, Jan Gruteser*, and Michael Leuschel'' ([[Media:202607.pdf|pdf]], [[Media:202607_slides.pdf|slides]])<br />
* Updates in the Rodin plug-in ecosystem — ''Guillaume Verdier*, Laurent Voisin'' ([[Media:202608.pdf|pdf]], [[Media:202608_slides.pdf|slides]])<br />
*Modeling and Proving the Parallel Climbers Puzzle in Event-B — ''Kevin Schwarz*'' ([[Media:202609.pdf|pdf]], [[Media:202609_slides.pdf|slides]])<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2026&diff=14645Rodin Workshop 20262026-04-13T20:40:20Z<p>Asieh: /* Programme */</p>
<hr />
<div><br />
==13th Rodin User and Developer Workshop==<br />
<br />
The 13th Rodin User and Developer Workshop, <b>May 18th, 2026, Tokyo, Japan</b> <b>* Hybrid event *</b><br />
<br />
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. <br />
<br />
The platform is open-source and is further extendable with plug-ins. A range of plug-ins have already been developed.<br />
<br />
The 13th Rodin workshop will be collocated with the <b>[https://conf.researchr.org/home/fm-2026 FM 2026 Conference],</b>. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
Proceedings is available [https://eprints.soton.ac.uk/503334/1/RodinWorkshop2025_proceedings.pdf here].<br />
<br />
== Programme ==<br />
<br />
'''14:00 – 16:05 JST''' Session I — ''In-person presentations: ''<br />
* chronoEvent-B: A Rodin Plugin for Timed Constraints in Event-B — ''Amel Mammar, Cabrel Feukeng Momo, Marc Frappier*, Paul Gibson'' ([[Media:202601.pdf|pdf]], [[Media:202601_slides.pdf|slides]])<br />
* Rust Toolchain for Event-B with Language Server Support — ''Denis Efremov*, Ilya Shchepetkov'' ([[Media:202602.pdf|pdf]], [[Media:202602_slides.pdf|slides]])<br />
* A theory for defining and handling matrices in Event-B — ''Guillaume Dupont*'' ([[Media:202603.pdf|pdf]], [[Media:202603_slides.pdf|slides]])<br />
* Enhancing EB4EB Framework by Introducing Lexicographic Variants — ''Peter Rivière*, Yamine Aït Ameur, Toshiaki Aoki, Guillaume Dupont, Neeraj Kumar Singh, Takashi Tomita, Duong Dinh Tran'' ([[Media:202604.pdf|pdf]], [[Media:202604_slides.pdf|slides]])<br />
* Automated transformation of Event-B machines into EB4EB deep instances — ''Rémy Sangoï, Yamine Aït-Ameur, Guillaume Dupont*, Peter Rivière, and Neeraj K. Singh'' ([[Media:202605.pdf|pdf]], [[Media:202605_slides.pdf|slides]])<br />
<br />
'''16:05 – 16:20 JST''' ''Break''<br />
<br />
'''16:20 – 18:00 JST'' Session 2 — ''Remote presentations:''<br />
* Inductive Set Construction using instantiation and Rodin — ''Dominique Cansell*'' ([[Media:202606.pdf|pdf]], [[Media:202606_slides.pdf|slides]])<br />
* An Event-B Sequent Prover in Prolog and ProB — ''Katharina Engels*, Jan Gruteser*, and Michael Leuschel'' ([[Media:202607.pdf|pdf]], [[Media:202607_slides.pdf|slides]])<br />
* Updates in the Rodin plug-in ecosystem — ''Guillaume Verdier*, Laurent Voisin'' ([[Media:202608.pdf|pdf]], [[Media:202608_slides.pdf|slides]])<br />
*Modeling and Proving the Parallel Climbers Puzzle in Event-B — ''Kevin Schwarz*'' ([[Media:202609.pdf|pdf]], [[Media:202609_slides.pdf|slides]])<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2026&diff=14644Rodin Workshop 20262026-04-13T20:39:49Z<p>Asieh: </p>
<hr />
<div><br />
==13th Rodin User and Developer Workshop==<br />
<br />
The 13th Rodin User and Developer Workshop, <b>May 18th, 2026, Tokyo, Japan</b> <b>* Hybrid event *</b><br />
<br />
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. <br />
<br />
The platform is open-source and is further extendable with plug-ins. A range of plug-ins have already been developed.<br />
<br />
The 13th Rodin workshop will be collocated with the <b>[https://conf.researchr.org/home/fm-2026 FM 2026 Conference],</b>. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
Proceedings is available [https://eprints.soton.ac.uk/503334/1/RodinWorkshop2025_proceedings.pdf here].<br />
<br />
== Programme ==<br />
<br />
'''14:00 – 16:05 JST''' Session I — ''In-person presentations: ''<br />
* chronoEvent-B: A Rodin Plugin for Timed Constraints in Event-B — ''Amel Mammar, Cabrel Feukeng Momo, Marc Frappier*, Paul Gibson'' ([[Media:202601.pdf|pdf]], [[Media:202601_slides.pdf|slides]])<br />
* Rust Toolchain for Event-B with Language Server Support — ''Denis Efremov*, Ilya Shchepetkov'' ([[Media:202602.pdf|pdf]], [[Media:202602_slides.pdf|slides]])<br />
* A theory for defining and handling matrices in Event-B — ''Guillaume Dupont*'' ([[Media:202603.pdf|pdf]], [[Media:202603_slides.pdf|slides]])<br />
* Enhancing EB4EB Framework by Introducing Lexicographic Variants — ''Peter Rivière*, Yamine Aït Ameur, Toshiaki Aoki, Guillaume Dupont, Neeraj Kumar Singh, Takashi Tomita, Duong Dinh Tran'' ([[Media:202604.pdf|pdf]], [[Media:202604_slides.pdf|slides]])<br />
* Automated transformation of Event-B machines into EB4EB deep instances — ''Rémy Sangoï, Yamine Aït-Ameur, Guillaume Dupont*, Peter Rivière, and Neeraj K. Singh'' ([[Media:202605.pdf|pdf]], [[Media:202605_slides.pdf|slides]])<br />
<br />
'''16:05 – 16:20 JST''' ''Break''<br />
<br />
'''16:20 – 18:00 JST'' Session 2 — ''Remote presentations:''<br />
* Inductive Set Construction using instantiation and Rodin — ''Dominique Cansell*'' ([[Media:202606.pdf|pdf]], [[Media:202606_slides.pdf|slides]])<br />
* An Event-B Sequent Prover in Prolog and ProB — ''Katharina Engels*, Jan Gruteser*, and Michael Leuschel'' ([[Media:202607.pdf|pdf]], [[Media:202607_slides.pdf|slides]])<br />
* Updates in the Rodin plug-in ecosystem — ''Guillaume Verdier*, Laurent Voisin'' ([[Media:202608.pdf|pdf]], [[Media:202608_slides.pdf|slides]])<br />
*Modeling and Proving the Parallel Climbers Puzzle in Event-B — ''Kevin Schwarz*'' ([[Media:202609.pdf|pdf]], [[Media:202609_slides.pdf|slides]])<br />
<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2026&diff=14643Rodin Workshop 20262026-03-02T10:40:58Z<p>Asieh: </p>
<hr />
<div><br />
==13th Rodin User and Developer Workshop==<br />
<br />
The 13th Rodin User and Developer Workshop, <b>May 18th-19th, 2026, Tokyo, Japan</b> <b>* Hybrid event *</b><br />
<br />
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. <br />
<br />
The platform is open-source and is further extendable with plug-ins. A range of plug-ins have already been developed.<br />
<br />
The 13th Rodin workshop will be collocated with the <b>[https://conf.researchr.org/home/fm-2026 FM 2026 Conference],</b>. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
== Submission == <br />
If you are interested in giving a presentation at the Rodin workshop or have a plug-in to demonstrate, send <br />
<br />
<b>a short abstract (1 or 2 pages PDF) to rodin@ecs.soton.ac.uk by 15th March 2026</b>. <br />
<br />
Notification will be send out early April.<br />
<br />
We will endeavour to accommodate all submissions that are clearly relevant to Rodin and Event-B. <br />
<br />
The proceedings of the workshop will be available as a technical report at the University of Southampton.<br />
<br />
== Exclusive Opportunity: Special Issue Publication ==<br />
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. <br />
<br />
(Note: The finalisation of the special issue is currently underway.)<br />
<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2026&diff=14642Rodin Workshop 20262026-03-02T10:40:38Z<p>Asieh: </p>
<hr />
<div><br />
==13th Rodin User and Developer Workshop==<br />
<br />
The 13th Rodin User and Developer Workshop, <b>May 18th-19th, 2026, Tokyo, Japan</b><br />
<br />
<b>Hybrid event</b><br />
<br />
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. <br />
<br />
The platform is open-source and is further extendable with plug-ins. A range of plug-ins have already been developed.<br />
<br />
The 13th Rodin workshop will be collocated with the <b>[https://conf.researchr.org/home/fm-2026 FM 2026 Conference],</b>. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
== Submission == <br />
If you are interested in giving a presentation at the Rodin workshop or have a plug-in to demonstrate, send <br />
<br />
<b>a short abstract (1 or 2 pages PDF) to rodin@ecs.soton.ac.uk by 15th March 2026</b>. <br />
<br />
Notification will be send out early April.<br />
<br />
We will endeavour to accommodate all submissions that are clearly relevant to Rodin and Event-B. <br />
<br />
The proceedings of the workshop will be available as a technical report at the University of Southampton.<br />
<br />
== Exclusive Opportunity: Special Issue Publication ==<br />
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. <br />
<br />
(Note: The finalisation of the special issue is currently underway.)<br />
<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2026&diff=14640Rodin Workshop 20262025-12-17T11:48:28Z<p>Asieh: </p>
<hr />
<div><br />
==13th Rodin User and Developer Workshop==<br />
<br />
The 13th Rodin User and Developer Workshop, <b>May 18th-19th, 2026, Tokyo, Japan</b><br />
<br />
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. <br />
<br />
The platform is open-source and is further extendable with plug-ins. A range of plug-ins have already been developed.<br />
<br />
The 13th Rodin workshop will be collocated with the <b>[https://conf.researchr.org/home/fm-2026 FM 2026 Conference],</b>. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
== Submission == <br />
If you are interested in giving a presentation at the Rodin workshop or have a plug-in to demonstrate, send <br />
<br />
<b>a short abstract (1 or 2 pages PDF) to rodin@ecs.soton.ac.uk by 15th March 2026</b>. <br />
<br />
Notification will be send out early April.<br />
<br />
We will endeavour to accommodate all submissions that are clearly relevant to Rodin and Event-B. <br />
<br />
The proceedings of the workshop will be available as a technical report at the University of Southampton.<br />
<br />
== Exclusive Opportunity: Special Issue Publication ==<br />
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. <br />
<br />
(Note: The finalisation of the special issue is currently underway.)<br />
<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2026&diff=14639Rodin Workshop 20262025-12-17T11:48:19Z<p>Asieh: </p>
<hr />
<div><br />
==13th Rodin User and Developer Workshop==<br />
<br />
The 13th Rodin User and Developer Workshop, <b>May 18th-19th, 2026, Tokyo, Japan</b><br />
<br />
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. <br />
<br />
The platform is open-source and is further extendable with plug-ins. A range of plug-ins have already been developed.<br />
<br />
The 13th Rodin workshop will be collocated with the <b>[https://conf.researchr.org/home/fm-2026 FM 2026 Conference],</b>. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
== Submission == <br />
If you are interested in giving a presentation at the Rodin workshop or have a plug-in to demonstrate, send <br />
<br />
<b>a short abstract (1 or 2 pages PDF) to rodin@ecs.soton.ac.uk by 15th March 2026</b>. <br />
<br />
Notification will be send out early April.<br />
<br />
We will endeavour to accommodate all submissions that are clearly relevant to Rodin and Event-B. <br />
<br />
The proceedings of the workshop will be available as a technical report at the University of Southampton.<br />
<br />
== Exclusive Opportunity: Special Issue Publication ==<br />
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. <br />
<br />
(Note: The finalisation of the special issue is currently underway.)<br />
<br />
<br />
<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2026&diff=14638Rodin Workshop 20262025-12-17T11:47:22Z<p>Asieh: </p>
<hr />
<div><br />
==13th Rodin User and Developer Workshop==<br />
<br />
The 13th Rodin User and Developer Workshop, <b>May 18th-19th, 2026, Tokyo, Japan</b><br />
<br />
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. <br />
<br />
The platform is open-source and is further extendable with plug-ins. A range of plug-ins have already been developed.<br />
<br />
The 13th Rodin workshop will be collocated with the <b>[https://conf.researchr.org/home/fm-2026 FM 2026 Conference],</b>. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
== Submission == <br />
If you are interested in giving a presentation at the Rodin workshop or have a plug-in to demonstrate, send <br />
<br />
<b>a short abstract (1 or 2 pages PDF) to rodin@ecs.soton.ac.uk by 15th March 2026</b>. <br />
<br />
Notification will be send out early April.<br />
<br />
We will endeavour to accommodate all submissions that are clearly relevant to Rodin and Event-B. <br />
<br />
The proceedings of the workshop will be available as a technical report at the University of Southampton.<br />
<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2026&diff=14637Rodin Workshop 20262025-12-17T11:46:26Z<p>Asieh: </p>
<hr />
<div><br />
==13th Rodin User and Developer Workshop==<br />
<br />
The 13th Rodin User and Developer Workshop, <b>May 18th-19th, 2026, Tokyo, Japan</b><br />
<br />
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. <br />
<br />
The platform is open-source and is further extendable with plug-ins. A range of plug-ins have already been developed.<br />
<br />
The 13th Rodin workshop will be collocated with the <b>[https://conf.researchr.org/home/fm-2026 FM 2026 Conference],</b>. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
== Submission == <br />
If you are interested in giving a presentation at the Rodin workshop or have a plug-in to demonstrate, send <br />
<br />
<b>a short abstract (1 or 2 pages PDF) to rodin@ecs.soton.ac.uk by 15th March 2026</b>. <br />
<br />
Notification will be send out early April.<br />
<br />
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.<br />
<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2026&diff=14636Rodin Workshop 20262025-12-17T11:46:11Z<p>Asieh: </p>
<hr />
<div><br />
==13th Rodin User and Developer Workshop==<br />
<br />
The 13th Rodin User and Developer Workshop, <b>May 18th-19th, 2026, Tokyo, Japan</b><br />
<br />
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. <br />
<br />
The platform is open-source and is further extendable with plug-ins. A range of plug-ins have already been developed.<br />
<br />
The 13th Rodin workshop will be collocated with the ,b.[https://conf.researchr.org/home/fm-2026 FM 2026 Conference],</b>. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
== Submission == <br />
If you are interested in giving a presentation at the Rodin workshop or have a plug-in to demonstrate, send <br />
<br />
<b>a short abstract (1 or 2 pages PDF) to rodin@ecs.soton.ac.uk by 15th March 2026</b>. <br />
<br />
Notification will be send out early April.<br />
<br />
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.<br />
<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2026&diff=14635Rodin Workshop 20262025-12-17T11:46:01Z<p>Asieh: </p>
<hr />
<div><br />
==13th Rodin User and Developer Workshop==<br />
<br />
The 13th Rodin User and Developer Workshop, <b>May 18th-19th, 2026, Tokyo, Japan</b><br />
<br />
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. <br />
<br />
The platform is open-source and is further extendable with plug-ins. A range of plug-ins have already been developed.<br />
<br />
The 13th Rodin workshop will be collocated with the ,b.[https://conf.researchr.org/home/fm-2026 FM 2026 Conference],/b>. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
== Submission == <br />
If you are interested in giving a presentation at the Rodin workshop or have a plug-in to demonstrate, send <br />
<br />
<b>a short abstract (1 or 2 pages PDF) to rodin@ecs.soton.ac.uk by 15th March 2026</b>. <br />
<br />
Notification will be send out early April.<br />
<br />
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.<br />
<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2026&diff=14634Rodin Workshop 20262025-12-17T11:45:50Z<p>Asieh: </p>
<hr />
<div><br />
==13th Rodin User and Developer Workshop==<br />
<br />
The 13th Rodin User and Developer Workshop, <b>May 18th-19th, 2026, Tokyo, Japan</b><br />
<br />
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. <br />
<br />
The platform is open-source and is further extendable with plug-ins. A range of plug-ins have already been developed.<br />
<br />
The 13th Rodin workshop will be collocated with the ,b.[https://conf.researchr.org/home/fm-2026 FM 2026 Conference],/b>. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
== Submission == <br />
If you are interested in giving a presentation at the Rodin workshop or have a plug-in to demonstrate, send <br />
<br />
<b>a short abstract (1 or 2 pages PDF) to rodin@ecs.soton.ac.uk by 15th March 2026</b>. <br />
<br />
Notification will be send out early April.<br />
<br />
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.<br />
<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2026&diff=14633Rodin Workshop 20262025-12-17T11:45:01Z<p>Asieh: </p>
<hr />
<div><br />
==13th Rodin User and Developer Workshop==<br />
<br />
The 13th Rodin User and Developer Workshop, <b>May 18th-19th, 2026, Tokyo, Japan</b><br />
<br />
Event-B is a formal method for system-level modelling and analysis. The<br />
Rodin Platform is an Eclipse-based toolset for Event-B that provides<br />
effective support for modelling and automated proof. The platform is open<br />
source and is further extendable with plug-ins. A range of plug-ins have<br />
already been developed.<br />
<br />
The 13th Rodin workshop will be collocated with the [https://conf.researchr.org/home/fm-2026 FM 2026 Conference]. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
== Submission == <br />
If you are interested in giving a presentation at the Rodin workshop or have a plug-in to demonstrate, send <br />
<br />
<b>a short abstract (1 or 2 pages PDF) to rodin@ecs.soton.ac.uk by 15th March 2026</b>. <br />
<br />
Notification will be send out early April.<br />
<br />
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.<br />
<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2026&diff=14632Rodin Workshop 20262025-12-17T11:41:40Z<p>Asieh: </p>
<hr />
<div><br />
==13th Rodin User and Developer Workshop==<br />
<br />
The 13th Rodin User and Developer Workshop, May 18th-19th, 2026, Tokyo, Japan<br />
<br />
Event-B is a formal method for system-level modelling and analysis. The<br />
Rodin Platform is an Eclipse-based toolset for Event-B that provides<br />
effective support for modelling and automated proof. The platform is open<br />
source and is further extendable with plug-ins. A range of plug-ins have<br />
already been developed.<br />
<br />
The 13th Rodin workshop will be collocated with the [https://conf.researchr.org/home/fm-2026 FM 2026 Conference]. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
== Submission == <br />
If you are interested in giving a presentation at the Rodin workshop or have a plug-in to demonstrate, send <br />
<br />
<b>a short abstract (1 or 2 pages PDF) to rodin@ecs.soton.ac.uk by 15th March 2026</b>. <br />
<br />
Notification will be send out early April.<br />
<br />
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.<br />
<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2026&diff=14631Rodin Workshop 20262025-12-17T11:41:01Z<p>Asieh: </p>
<hr />
<div><br />
==13th Rodin User and Developer Workshop==<br />
<br />
The 13th Rodin User and Developer Workshop, May 18th-19th, 2026, Tokyo, Japan<br />
<br />
Event-B is a formal method for system-level modelling and analysis. The<br />
Rodin Platform is an Eclipse-based toolset for Event-B that provides<br />
effective support for modelling and automated proof. The platform is open<br />
source and is further extendable with plug-ins. A range of plug-ins have<br />
already been developed.<br />
<br />
The 13th Rodin workshop will be collocated with the [https://conf.researchr.org/home/fm-2026 FM 2026 Conference]. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
== Submission == <br />
If you are interested in giving a presentation at the Rodin workshop or have a plug-in to demonstrate, send <br />
<br />
<b>a short abstract (1 or 2 pages PDF) to rodin@ecs.soton.ac.uk by 15th March 2026</b>. <br />
<br />
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.<br />
<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2026&diff=14630Rodin Workshop 20262025-12-17T11:40:43Z<p>Asieh: </p>
<hr />
<div><br />
==13th Rodin User and Developer Workshop==<br />
<br />
The 13th Rodin User and Developer Workshop, May 18th-19th, 2026, Tokyo, Japan<br />
<br />
Event-B is a formal method for system-level modelling and analysis. The<br />
Rodin Platform is an Eclipse-based toolset for Event-B that provides<br />
effective support for modelling and automated proof. The platform is open<br />
source and is further extendable with plug-ins. A range of plug-ins have<br />
already been developed.<br />
<br />
The 13th Rodin workshop will be collocated with the [https://conf.researchr.org/home/fm-2026 FM 2026 Conference]. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
== Submission == <br />
If you are interested in giving a presentation at the Rodin workshop or have a plug-in to demonstrate, <br />
send <b>a short abstract (1 or 2 pages PDF) to rodin@ecs.soton.ac.uk by 15th March 2026</b>. <br />
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.<br />
<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2026&diff=14629Rodin Workshop 20262025-12-17T11:40:26Z<p>Asieh: </p>
<hr />
<div><br />
==13th Rodin User and Developer Workshop==<br />
<br />
The 13th Rodin User and Developer Workshop, May 18th-19th, 2026, Tokyo, Japan<br />
<br />
Event-B is a formal method for system-level modelling and analysis. The<br />
Rodin Platform is an Eclipse-based toolset for Event-B that provides<br />
effective support for modelling and automated proof. The platform is open<br />
source and is further extendable with plug-ins. A range of plug-ins have<br />
already been developed.<br />
<br />
The 13th Rodin workshop will be collocated with the [https://conf.researchr.org/home/fm-2026 FM 2026 Conference]. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
== Submission == <br />
If you are interested in giving a presentation at the Rodin workshop or have a plug-in to demonstrate, <br />
send <b>a short abstract (1 or 2 pages PDF) to rodin@ecs.soton.ac.uk by 15th March 2026<\b>. <br />
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.<br />
<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2026&diff=14628Rodin Workshop 20262025-12-17T11:40:07Z<p>Asieh: </p>
<hr />
<div><br />
==13th Rodin User and Developer Workshop==<br />
<br />
The 13th Rodin User and Developer Workshop, May 18th-19th, 2026, Tokyo, Japan<br />
<br />
Event-B is a formal method for system-level modelling and analysis. The<br />
Rodin Platform is an Eclipse-based toolset for Event-B that provides<br />
effective support for modelling and automated proof. The platform is open<br />
source and is further extendable with plug-ins. A range of plug-ins have<br />
already been developed.<br />
<br />
The 13th Rodin workshop will be collocated with the [https://conf.researchr.org/home/fm-2026 FM 2026 Conference]. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
== Submission == <br />
If you are interested in giving a presentation at the Rodin workshop or have a plug-in to demonstrate, <br />
send <b>a short abstract (1 or 2 pages PDF) to rodin@ecs.soton.ac.uk by 15th March 2026<b>. <br />
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.<br />
<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2026&diff=14627Rodin Workshop 20262025-12-17T11:39:08Z<p>Asieh: Created page with " ==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 colloc..."</p>
<hr />
<div><br />
==13th Rodin User and Developer Workshop==<br />
<br />
The 13th Rodin User and Developer Workshop, May 18th-19th, 2026, Tokyo, Japan<br />
<br />
Event-B is a formal method for system-level modelling and analysis. The<br />
Rodin Platform is an Eclipse-based toolset for Event-B that provides<br />
effective support for modelling and automated proof. The platform is open<br />
source and is further extendable with plug-ins. A range of plug-ins have<br />
already been developed.<br />
<br />
The 13th Rodin workshop will be collocated with the [https://conf.researchr.org/home/fm-2026 FM 2026 Conference]. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
== Submission == <br />
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. 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.<br />
<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2025&diff=14626Rodin Workshop 20252025-08-05T20:06:30Z<p>Asieh: </p>
<hr />
<div><br />
==12th Rodin User and Developer Workshop==<br />
<br />
The 12th Rodin User and Developer Workshop, 10th June, 2025, Düsseldorf, Germany<br />
<br />
Event-B is a formal method for system-level modelling and analysis. The<br />
Rodin Platform is an Eclipse-based toolset for Event-B that provides<br />
effective support for modelling and automated proof. The platform is open<br />
source and is further extendable with plug-ins. A range of plug-ins have<br />
already been developed.<br />
<br />
The 12th Rodin workshop will be collocated with the [https://abz-conf.org/site/2025/ ABZ 2025 Conference]. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
Proceedings is available [https://eprints.soton.ac.uk/503334/1/RodinWorkshop2025_proceedings.pdf here].<br />
<br />
== Programme ==<br />
<br />
'''09:00 - 11:05''' Session I — ''Session Chair: ''<br />
* Rodin 3.10 and its plug-ins — ''Guillaume Verdier, Laurent Voisin, Idir Ait-Sadoune'' ([[Media:202501.pdf|pdf]], [[Media:202501_slides.pdf|slides]])<br />
* Constructing an Event-B Model using Promise-Driven Modeling — ''Felix Schaber'' ([[Media:202502.pdf|pdf]], [[Media:202502_slides.pdf|slides]])<br />
* Verification of Event-B proofs through their translation to Lambdapi — ''Anne Grieu, Jean-Paul Bodeveix'' ([[Media:202503.pdf|pdf]], [[Media:202503_slides.pdf|slides]])<br />
* Interactive Trace Replay for Event-B Models — ''Jan Gruteser, Michael Leuschel'' ([[Media:202504.pdf|pdf]], [[Media:202504_slides.pdf|slides]])<br />
* Interactive Proving with ProB — ''Katharina Engels, Jan Gruteser, Michael Leuschel'' ([[Media:202505.pdf|pdf]], [[Media:202505_slides.pdf|slides]])<br />
<br />
'''11:05 - 11:20''' ''Break''<br />
<br />
'''11:20 - 13:00''' Session 2 — ''Session Chair:''<br />
* Minimal Bad Sequence on Quasi-Orders — ''Dominique Cansell'' ([[Media:202506.pdf|pdf]], [[Media:202506_slides.pdf|slides]])<br />
* Project Allocation with Event-B and ProB — ''Thai Son Hoang, Abdolbaghi Rezazadeh, Michael Butler'' ([[Media:202507.pdf|pdf]], [[Media:202507_slides.pdf|slides]])<br />
* EB[ASTD]: Meta-modelling framework for ASTD — ''Christophe Chen, Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Ait Ameur, Marc Frappier'' ([[Media:202508.pdf|pdf]], [[Media:202508_slides.pdf|slides]])<br />
* Extending EB4EB for Parameterised Events — ''Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Aït Ameur'' ([[Media:202509.pdf|pdf]], [[Media:202509_slides.pdf|slides]])<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2025&diff=14625Rodin Workshop 20252025-08-05T20:06:08Z<p>Asieh: </p>
<hr />
<div><br />
==12th Rodin User and Developer Workshop==<br />
<br />
The 12th Rodin User and Developer Workshop, 10th June, 2025, Düsseldorf, Germany<br />
<br />
Event-B is a formal method for system-level modelling and analysis. The<br />
Rodin Platform is an Eclipse-based toolset for Event-B that provides<br />
effective support for modelling and automated proof. The platform is open<br />
source and is further extendable with plug-ins. A range of plug-ins have<br />
already been developed.<br />
<br />
The 12th Rodin workshop will be collocated with the [https://abz-conf.org/site/2025/ ABZ 2025 Conference]. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
Proceeding is available [https://eprints.soton.ac.uk/503334/1/RodinWorkshop2025_proceedings.pdf here].<br />
<br />
== Programme ==<br />
<br />
'''09:00 - 11:05''' Session I — ''Session Chair: ''<br />
* Rodin 3.10 and its plug-ins — ''Guillaume Verdier, Laurent Voisin, Idir Ait-Sadoune'' ([[Media:202501.pdf|pdf]], [[Media:202501_slides.pdf|slides]])<br />
* Constructing an Event-B Model using Promise-Driven Modeling — ''Felix Schaber'' ([[Media:202502.pdf|pdf]], [[Media:202502_slides.pdf|slides]])<br />
* Verification of Event-B proofs through their translation to Lambdapi — ''Anne Grieu, Jean-Paul Bodeveix'' ([[Media:202503.pdf|pdf]], [[Media:202503_slides.pdf|slides]])<br />
* Interactive Trace Replay for Event-B Models — ''Jan Gruteser, Michael Leuschel'' ([[Media:202504.pdf|pdf]], [[Media:202504_slides.pdf|slides]])<br />
* Interactive Proving with ProB — ''Katharina Engels, Jan Gruteser, Michael Leuschel'' ([[Media:202505.pdf|pdf]], [[Media:202505_slides.pdf|slides]])<br />
<br />
'''11:05 - 11:20''' ''Break''<br />
<br />
'''11:20 - 13:00''' Session 2 — ''Session Chair:''<br />
* Minimal Bad Sequence on Quasi-Orders — ''Dominique Cansell'' ([[Media:202506.pdf|pdf]], [[Media:202506_slides.pdf|slides]])<br />
* Project Allocation with Event-B and ProB — ''Thai Son Hoang, Abdolbaghi Rezazadeh, Michael Butler'' ([[Media:202507.pdf|pdf]], [[Media:202507_slides.pdf|slides]])<br />
* EB[ASTD]: Meta-modelling framework for ASTD — ''Christophe Chen, Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Ait Ameur, Marc Frappier'' ([[Media:202508.pdf|pdf]], [[Media:202508_slides.pdf|slides]])<br />
* Extending EB4EB for Parameterised Events — ''Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Aït Ameur'' ([[Media:202509.pdf|pdf]], [[Media:202509_slides.pdf|slides]])<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=File:202509_slides.pdf&diff=14624File:202509 slides.pdf2025-07-18T09:07:02Z<p>Asieh: </p>
<hr />
<div></div>Asiehhttps://wiki.event-b.org/index.php?title=File:202507_slides.pdf&diff=14623File:202507 slides.pdf2025-07-17T11:02:03Z<p>Asieh: </p>
<hr />
<div></div>Asiehhttps://wiki.event-b.org/index.php?title=File:202502_slides.pdf&diff=14622File:202502 slides.pdf2025-07-17T10:25:13Z<p>Asieh: </p>
<hr />
<div></div>Asiehhttps://wiki.event-b.org/index.php?title=File:202504_slides.pdf&diff=14621File:202504 slides.pdf2025-07-08T10:23:53Z<p>Asieh: </p>
<hr />
<div></div>Asiehhttps://wiki.event-b.org/index.php?title=File:202505_slides.pdf&diff=14620File:202505 slides.pdf2025-07-08T10:23:45Z<p>Asieh: </p>
<hr />
<div></div>Asiehhttps://wiki.event-b.org/index.php?title=File:202503_slides.pdf&diff=14619File:202503 slides.pdf2025-07-08T10:22:13Z<p>Asieh: </p>
<hr />
<div></div>Asiehhttps://wiki.event-b.org/index.php?title=File:202508_slides.pdf&diff=14618File:202508 slides.pdf2025-07-08T10:21:27Z<p>Asieh: </p>
<hr />
<div></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2025&diff=14617Rodin Workshop 20252025-07-07T13:12:51Z<p>Asieh: </p>
<hr />
<div><br />
==12th Rodin User and Developer Workshop==<br />
<br />
The 12th Rodin User and Developer Workshop, 10th June, 2025, Düsseldorf, Germany<br />
<br />
Event-B is a formal method for system-level modelling and analysis. The<br />
Rodin Platform is an Eclipse-based toolset for Event-B that provides<br />
effective support for modelling and automated proof. The platform is open<br />
source and is further extendable with plug-ins. A range of plug-ins have<br />
already been developed.<br />
<br />
The 12th Rodin workshop will be collocated with the [https://abz-conf.org/site/2025/ ABZ 2025 Conference]. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
== Programme ==<br />
<br />
'''09:00 - 11:05''' Session I — ''Session Chair: ''<br />
* Rodin 3.10 and its plug-ins — ''Guillaume Verdier, Laurent Voisin, Idir Ait-Sadoune'' ([[Media:202501.pdf|pdf]], [[Media:202501_slides.pdf|slides]])<br />
* Constructing an Event-B Model using Promise-Driven Modeling — ''Felix Schaber'' ([[Media:202502.pdf|pdf]], [[Media:202502_slides.pdf|slides]])<br />
* Verification of Event-B proofs through their translation to Lambdapi — ''Anne Grieu, Jean-Paul Bodeveix'' ([[Media:202503.pdf|pdf]], [[Media:202503_slides.pdf|slides]])<br />
* Interactive Trace Replay for Event-B Models — ''Jan Gruteser, Michael Leuschel'' ([[Media:202504.pdf|pdf]], [[Media:202504_slides.pdf|slides]])<br />
* Interactive Proving with ProB — ''Katharina Engels, Jan Gruteser, Michael Leuschel'' ([[Media:202505.pdf|pdf]], [[Media:202505_slides.pdf|slides]])<br />
<br />
'''11:05 - 11:20''' ''Break''<br />
<br />
'''11:20 - 13:00''' Session 2 — ''Session Chair:''<br />
* Minimal Bad Sequence on Quasi-Orders — ''Dominique Cansell'' ([[Media:202506.pdf|pdf]], [[Media:202506_slides.pdf|slides]])<br />
* Project Allocation with Event-B and ProB — ''Thai Son Hoang, Abdolbaghi Rezazadeh, Michael Butler'' ([[Media:202507.pdf|pdf]], [[Media:202507_slides.pdf|slides]])<br />
* EB[ASTD]: Meta-modelling framework for ASTD — ''Christophe Chen, Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Ait Ameur, Marc Frappier'' ([[Media:202508.pdf|pdf]], [[Media:202508_slides.pdf|slides]])<br />
* Extending EB4EB for Parameterised Events — ''Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Aït Ameur'' ([[Media:202509.pdf|pdf]], [[Media:202509_slides.pdf|slides]])<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=File:202506_slides.pdf&diff=14616File:202506 slides.pdf2025-07-07T13:11:12Z<p>Asieh: </p>
<hr />
<div></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2025&diff=14615Rodin Workshop 20252025-07-07T13:11:04Z<p>Asieh: </p>
<hr />
<div><br />
==12th Rodin User and Developer Workshop==<br />
<br />
The 12th Rodin User and Developer Workshop, 10th June, 2025, Düsseldorf, Germany<br />
<br />
Event-B is a formal method for system-level modelling and analysis. The<br />
Rodin Platform is an Eclipse-based toolset for Event-B that provides<br />
effective support for modelling and automated proof. The platform is open<br />
source and is further extendable with plug-ins. A range of plug-ins have<br />
already been developed.<br />
<br />
The 12th Rodin workshop will be collocated with the [https://abz-conf.org/site/2025/ ABZ 2025 Conference]. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
== Programme ==<br />
<br />
'''09:00 - 11:05''' Session I — ''Session Chair: ''<br />
* Rodin 3.10 and its plug-ins — ''Guillaume Verdier, Laurent Voisin, Idir Ait-Sadoune'' ([[Media:202501.pdf|pdf]], [[Media:202501_slides.pdf|slides]])<br />
* Constructing an Event-B Model using Promise-Driven Modeling — ''Felix Schaber'' ([[Media:202502.pdf|pdf]], [[Media:202502_slides.pdf|slides]])<br />
* Verification of Event-B proofs through their translation to Lambdapi — ''Anne Grieu, Jean-Paul Bodeveix'' ([[Media:202503.pdf|pdf]], [[Media:202503_slides.pdf|slides]])<br />
* Interactive Trace Replay for Event-B Models — ''Jan Gruteser, Michael Leuschel'' ([[Media:202504.pdf|pdf]], [[Media:202504_slides.pdf|slides]])<br />
* Interactive Proving with ProB — ''Katharina Engels, Jan Gruteser, Michael Leuschel'' ([[Media:202505.pdf|pdf]], [[Media:202505_slides.pdf|slides]])<br />
<br />
'''11:05 - 11:20''' ''Break''<br />
<br />
'''11:20 - 13:00''' Session 2 — ''Session Chair:''<br />
* Minimal Bad Sequence on Quasi-Orders — ''Dominique Cansell'' ([[Media:202506.pdf|pdf]], [[Media:202506_slides.pdf|slides]])<br />
* Project Allocation with Event-B and ProB — ''Thai Son Hoang, Abdolbaghi Rezazadeh, Michael Butler'' ([[Media:202507.pdf|pdf]], [[Media:202507_slides.pdf|slides]])<br />
* EB[ASTD]: Meta-modelling framework for ASTD — ''Christophe Chen, Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Ait Ameur, Marc Frappier'' ([[Media:202508.pdf|pdf]], [[Media:202508.pdf|slides]])<br />
* Extending EB4EB for Parameterised Events — ''Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Aït Ameur'' ([[Media:202509.pdf|pdf]], [[Media:202509.pdf|slides]])<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=File:202501_slides.pdf&diff=14614File:202501 slides.pdf2025-07-07T13:04:29Z<p>Asieh: </p>
<hr />
<div></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2025&diff=14612Rodin Workshop 20252025-06-06T11:57:52Z<p>Asieh: /* Programme */</p>
<hr />
<div><br />
==12th Rodin User and Developer Workshop==<br />
<br />
The 12th Rodin User and Developer Workshop, 10th June, 2025, Düsseldorf, Germany<br />
<br />
Event-B is a formal method for system-level modelling and analysis. The<br />
Rodin Platform is an Eclipse-based toolset for Event-B that provides<br />
effective support for modelling and automated proof. The platform is open<br />
source and is further extendable with plug-ins. A range of plug-ins have<br />
already been developed.<br />
<br />
The 12th Rodin workshop will be collocated with the [https://abz-conf.org/site/2025/ ABZ 2025 Conference]. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
== Programme ==<br />
<br />
'''09:00 - 11:05''' Session I — ''Session Chair: ''<br />
* Rodin 3.10 and its plug-ins — ''Guillaume Verdier, Laurent Voisin, Idir Ait-Sadoune'' ([[Media:202501.pdf|pdf]], [[Media:202501_slides.pdf|slides]])<br />
* Constructing an Event-B Model using Promise-Driven Modeling — ''Felix Schaber'' ([[Media:202502.pdf|pdf]], [[Media:202502_slides.pdf|slides]])<br />
* Verification of Event-B proofs through their translation to Lambdapi — ''Anne Grieu, Jean-Paul Bodeveix'' ([[Media:202503.pdf|pdf]], [[Media:202503_slides.pdf|slides]])<br />
* Interactive Trace Replay for Event-B Models — ''Jan Gruteser, Michael Leuschel'' ([[Media:202504.pdf|pdf]], [[Media:202504_slides.pdf|slides]])<br />
* Interactive Proving with ProB — ''Katharina Engels, Jan Gruteser, Michael Leuschel'' ([[Media:202505.pdf|pdf]], [[Media:202505_slides.pdf|slides]])<br />
<br />
'''11:05 - 11:20''' ''Break''<br />
<br />
'''11:20 - 13:00''' Session 2 — ''Session Chair:''<br />
* Minimal Bad Sequence on Quasi-Orders — ''Dominique Cansell'' ([[Media:202506.pdf|pdf]], [[Media:202506.pdf|slides]])<br />
* Project Allocation with Event-B and ProB — ''Thai Son Hoang, Abdolbaghi Rezazadeh, Michael Butler'' ([[Media:202507.pdf|pdf]], [[Media:202507_slides.pdf|slides]])<br />
* EB[ASTD]: Meta-modelling framework for ASTD — ''Christophe Chen, Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Ait Ameur, Marc Frappier'' ([[Media:202508.pdf|pdf]], [[Media:202508.pdf|slides]])<br />
* Extending EB4EB for Parameterised Events — ''Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Aït Ameur'' ([[Media:202509.pdf|pdf]], [[Media:202509.pdf|slides]])<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=File:202503.pdf&diff=14611File:202503.pdf2025-06-02T14:59:07Z<p>Asieh: Asieh uploaded a new version of File:202503.pdf</p>
<hr />
<div></div>Asiehhttps://wiki.event-b.org/index.php?title=File:202503_pdf.pdf&diff=14610File:202503 pdf.pdf2025-06-02T14:53:23Z<p>Asieh: </p>
<hr />
<div></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2025&diff=14609Rodin Workshop 20252025-06-02T14:52:24Z<p>Asieh: /* Programme */</p>
<hr />
<div><br />
==12th Rodin User and Developer Workshop==<br />
<br />
The 12th Rodin User and Developer Workshop, 10th June, 2025, Düsseldorf, Germany<br />
<br />
Event-B is a formal method for system-level modelling and analysis. The<br />
Rodin Platform is an Eclipse-based toolset for Event-B that provides<br />
effective support for modelling and automated proof. The platform is open<br />
source and is further extendable with plug-ins. A range of plug-ins have<br />
already been developed.<br />
<br />
The 12th Rodin workshop will be collocated with the [https://abz-conf.org/site/2025/ ABZ 2025 Conference]. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
== Programme ==<br />
<br />
'''09:00 - 11:05''' Session I — ''Session Chair: ''<br />
* Rodin 3.10 and its plug-ins — ''Guillaume Verdier, Laurent Voisin, Idir Ait-Sadoune'' ([[Media:202501.pdf|pdf]], [[Media:202501_slides.pdf|slides]])<br />
* Constructing an Event-B Model using Promise-Driven Modeling — ''Felix Schaber'' ([[Media:202502.pdf|pdf]], [[Media:202502_slides.pdf|slides]])<br />
* Verification of Event-B proofs throught their translation to Lambdapi — ''Anne Grieu, Jean-Paul Bodeveix'' ([[Media:202503.pdf|pdf]], [[Media:202503_slides.pdf|slides]])<br />
* Interactive Trace Replay for Event-B Models — ''Jan Gruteser, Michael Leuschel'' ([[Media:202504.pdf|pdf]], [[Media:202504_slides.pdf|slides]])<br />
* Interactive Proving with ProB — ''Katharina Engels, Jan Gruteser, Michael Leuschel'' ([[Media:202505.pdf|pdf]], [[Media:202505_slides.pdf|slides]])<br />
<br />
'''11:05 - 11:20''' ''Break''<br />
<br />
'''11:20 - 13:00''' Session 2 — ''Session Chair:''<br />
* Minimal Bad Sequence on Quasi-Orders — ''Dominique Cansell'' ([[Media:202506.pdf|pdf]], [[Media:202506.pdf|slides]])<br />
* Project Allocation with Event-B and ProB — ''Thai Son Hoang, Abdolbaghi Rezazadeh, Michael Butler'' ([[Media:202507.pdf|pdf]], [[Media:202507_slides.pdf|slides]])<br />
* EB[ASTD]: Meta-modelling framework for ASTD — ''Christophe Chen, Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Ait Ameur, Marc Frappier'' ([[Media:202508.pdf|pdf]], [[Media:202508.pdf|slides]])<br />
* Extending EB4EB for Parameterised Events — ''Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Aït Ameur'' ([[Media:202509.pdf|pdf]], [[Media:202509.pdf|slides]])<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asiehhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2025&diff=14608Rodin Workshop 20252025-06-02T12:46:53Z<p>Asieh: /* Programme */</p>
<hr />
<div><br />
==12th Rodin User and Developer Workshop==<br />
<br />
The 12th Rodin User and Developer Workshop, 10th June, 2025, Düsseldorf, Germany<br />
<br />
Event-B is a formal method for system-level modelling and analysis. The<br />
Rodin Platform is an Eclipse-based toolset for Event-B that provides<br />
effective support for modelling and automated proof. The platform is open<br />
source and is further extendable with plug-ins. A range of plug-ins have<br />
already been developed.<br />
<br />
The 12th Rodin workshop will be collocated with the [https://abz-conf.org/site/2025/ ABZ 2025 Conference]. <br />
<br />
The purpose of this workshop is to bring together existing and potential <br />
users and developers of the Rodin toolset and to foster a broader community <br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
For plug-in developers the workshop will provide an opportunity to showcase <br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
== Programme ==<br />
<br />
'''09:00 - 11:05''' Session I — ''Session Chair: ''<br />
* Rodin 3.10 and its plug-ins — ''Guillaume Verdier, Laurent Voisin, Idir Ait-Sadoune'' ([[Media:202501.pdf|pdf]], [[Media:202501_slides.pdf|slides]])<br />
* Constructing an Event-B Model using Promise-Driven Modeling — ''Felix Schaber'' ([[Media:202502.pdf|pdf]], [[Media:202502_slides.pdf|slides]])<br />
* — ''Anne Grieu, Jean-Paul Bodeveix'' ([[Media:20250.pdf|pdf]], [[Media:202503_slides.pdf|slides]])<br />
* Interactive Trace Replay for Event-B Models — ''Jan Gruteser, Michael Leuschel'' ([[Media:202504.pdf|pdf]], [[Media:202504_slides.pdf|slides]])<br />
* Interactive Proving with ProB — ''Katharina Engels, Jan Gruteser, Michael Leuschel'' ([[Media:202505.pdf|pdf]], [[Media:202505_slides.pdf|slides]])<br />
<br />
'''11:05 - 11:20''' ''Break''<br />
<br />
'''11:20 - 13:00''' Session 2 — ''Session Chair:''<br />
* Minimal Bad Sequence on Quasi-Orders — ''Dominique Cansell'' ([[Media:202506.pdf|pdf]], [[Media:202506.pdf|slides]])<br />
* Project Allocation with Event-B and ProB — ''Thai Son Hoang, Abdolbaghi Rezazadeh, Michael Butler'' ([[Media:202507.pdf|pdf]], [[Media:202507_slides.pdf|slides]])<br />
* EB[ASTD]: Meta-modelling framework for ASTD — ''Christophe Chen, Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Ait Ameur, Marc Frappier'' ([[Media:202508.pdf|pdf]], [[Media:202508.pdf|slides]])<br />
* Extending EB4EB for Parameterised Events — ''Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Aït Ameur'' ([[Media:202509.pdf|pdf]], [[Media:202509.pdf|slides]])<br />
<br />
== Organisers ==<br />
<br />
<p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Lecturer, University of Southampton</p><br />
<p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p><br />
<p>[https://sites.google.com/site/singhnne/ Neeraj Kumar Singh], Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse</p><br />
<p>[https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel], Professor, Heinrich-Heine-Universität, Germany</p><br />
<p>[https://www.southampton.ac.uk/people/5xfl2w/doctor-son-hoang Son Hoang], Associate Professor, University of Southampton</p></div>Asieh