Event-B - User contributions [en-gb]

Rodin Workshop 2023

2023-05-26T15:36:16Z

Dana: /* Programme */

==10th Rodin User and Developer Workshop==

The 10th Rodin User and Developer Workshop, 30th May, 2023, Nancy, France

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 10th Rodin workshop will be collocated with the [https://abz2023.loria.fr/ ABZ 2023 Conference].

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

For Rodin users the workshop will provide an opportunity to share tool
experiences and to gain an understanding of on-going tool developments.
For plug-in developers the workshop will provide an opportunity to showcase
their tools and to achieve better coordination of tool development effort.

== Programme ==

'''09:30 - 11:00''' Session 1 — ''Session Chair: Laurent Voisin''
* Rodin: two years of updates — ''Guillaume Verdier, Laurent Voisin, Idir Ait-Sadoune''
* Proof automation for Event-B theories — ''P. Rivière, N. K. Singh, Y. Aït-Ameur, and G. Dupont''
* Constructing the Real Numbers using RODIN and EBRP’s plugin — ''Jean-Raymond Abrial, Dominique Cansell''

'''11:00 - 11:30''' ''Coffee Break''

'''11:30 - 13:00''' Session 2 — ''Session Chair: Neeraj Kumar Singh''
* rodin-hs: A set of libraries and tools for handling Rodin files in Haskell — ''Guillaume Dupont''
* CamilleX 3.0 — ''S.T. Hoang, C. Snook, D. Dghaym, A. Salehi, M. Butler''
* Formalisation of a Software Development Process — ''Ivan Entchev, Son Thai Hoang''
* A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements of Self-Driving Vehicle Systems — ''Fahad Alotaibi, Son Thai Hoang, Michael Butler''

'''13:00 - 14:00''' ''Lunch Break''

'''14:00 - 15:30''' Session 3 — ''Session Chair: Fabian Vu''
* Generating safe code to prevent or handle integer overflows inside Event-B actions formulas — ''Fredrik Öhrström''
* Shared Session with [https://isse.jku.at/ivoire/index.php/IVOIRE_Workshop_2023 IVOIRE]

==Registration==
To register for the workshop, please follow the instructions on the [https://abz2023.loria.fr/participation-2/ ABZ 2023 registration page].

== Organisers ==
Dana Dghaym, University of Southampton, UK
Neeraj Kumar Singh, INPT-ENSEEIHT / IRIT, University of Toulouse, France
Laurent Voisin, Systerel, France
Fabian Vu, Heinrich Heine University Düsseldorf, Germany

Rodin Workshop 2023

2023-05-26T15:28:29Z

Dana: /* Programme */

==10th Rodin User and Developer Workshop==

The 10th Rodin User and Developer Workshop, 30th May, 2023, Nancy, France

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 10th Rodin workshop will be collocated with the [https://abz2023.loria.fr/ ABZ 2023 Conference].

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

For Rodin users the workshop will provide an opportunity to share tool
experiences and to gain an understanding of on-going tool developments.
For plug-in developers the workshop will provide an opportunity to showcase
their tools and to achieve better coordination of tool development effort.

== Programme ==

'''09:30 - 11:00''' Session 1 - ''Session Chair: Laurent Voisin''
* Rodin: two years of updates - ''Guillaume Verdier, Laurent Voisin, Idir Ait-Sadoune''
* Proof automation for Event-B theories - ''P. Rivière, N. K. Singh, Y. Aït-Ameur, and G. Dupont''
* Constructing the Real Numbers using RODIN and EBRP’s plugin - ''Jean-Raymond Abrial, Dominique Cansell''

'''11:00 - 11:30''' ''Coffee Break''

'''11:30 - 13:00''' Session 2 - ''Session Chair: Neeraj Kumar Singh''
* rodin-hs: A set of libraries and tools for handling Rodin files in Haskell - ''Guillaume Dupont''
* CamilleX 3.0 - ''S.T. Hoang, C. Snook, D. Dghaym, A. Salehi, M. Butler''
* Formalisation of a Software Development Process - ''Ivan Entchev, Son Thai Hoang''
* A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements of Self-Driving Vehicle Systems - ''Fahad Alotaibi, Son Thai Hoang, Michael Butler''

'''13:00 - 14:00''' ''Lunch Break''

'''14:00 - 15:30''' Session 3 - ''Session Chair: Fabian Vu''
* Generating safe code to prevent or handle integer overflows inside Event-B actions formulas - ''Fredrik Öhrström''
* Shared Session with [https://isse.jku.at/ivoire/index.php/IVOIRE_Workshop_2023 IVOIRE]

==Registration==
To register for the workshop, please follow the instructions on the [https://abz2023.loria.fr/participation-2/ ABZ 2023 registration page].

== Organisers ==
Dana Dghaym, University of Southampton, UK
Neeraj Kumar Singh, INPT-ENSEEIHT / IRIT, University of Toulouse, France
Laurent Voisin, Systerel, France
Fabian Vu, Heinrich Heine University Düsseldorf, Germany

Rodin Workshop 2023

2023-05-26T15:21:29Z

Dana: /* 10th Rodin User and Developer Workshop */

==10th Rodin User and Developer Workshop==

The 10th Rodin User and Developer Workshop, 30th May, 2023, Nancy, France

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 10th Rodin workshop will be collocated with the [https://abz2023.loria.fr/ ABZ 2023 Conference].

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

For Rodin users the workshop will provide an opportunity to share tool
experiences and to gain an understanding of on-going tool developments.
For plug-in developers the workshop will provide an opportunity to showcase
their tools and to achieve better coordination of tool development effort.

== Programme ==

'''09:30 -- 11:00''' Session I - Session Chair: Laurent Voisin
* Rodin: two years of updates - ''Guillaume Verdier, Laurent Voisin, Idir Ait-Sadoune''
* Proof automation for Event-B theories - ''P. Rivière, N. K. Singh, Y. Aït-Ameur, and G. Dupont''
* Constructing the Real Numbers using RODIN and EBRP’s plugin - ''Jean-Raymond Abrial, Dominique Cansell''

'''11:00 -- 11:30''' ''Coffee Break''

'''11:30 -- 13:00''' Session II - Session Chair: Neeraj Kumar Singh
* rodin-hs: A set of libraries and tools for handling Rodin files in Haskell - ''Guillaume Dupont''
* CamilleX 3.0 - ''S.T. Hoang, C. Snook, D. Dghaym, A. Salehi, M. Butler''
* Formalisation of a Software Development Process - ''Ivan Entchev, Son Thai Hoang''
* A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements of Self-Driving Vehicle Systems - ''Fahad Alotaibi, Son Thai Hoang, Michael Butler''

'''13:00 -- 14:00''' ''Lunch Break''

'''14:00 -- 15:30''' Session III - Session Chair: Fabian Vu
* Generating safe code to prevent or handle integer overflows inside Event-B actions formulas - ''Fredrik Öhrström''
* Shared Session with [https://isse.jku.at/ivoire/index.php/IVOIRE_Workshop_2023 IVOIRE]

==Registration==
To register for the workshop, please follow the instructions on the [https://abz2023.loria.fr/participation-2/ ABZ 2023 registration page].

== Organisers ==
Dana Dghaym, University of Southampton, UK
Neeraj Kumar Singh, INPT-ENSEEIHT / IRIT, University of Toulouse, France
Laurent Voisin, Systerel, France
Fabian Vu, Heinrich Heine University Düsseldorf, Germany

Rodin Workshop 2023

2023-05-26T15:13:44Z

Dana: /* Call for Abstracts */

==10th Rodin User and Developer Workshop==

The 10th Rodin User and Developer Workshop, 30th May, 2023, Nancy, France

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 10th Rodin workshop will be collocated with the [https://abz2023.loria.fr/ ABZ 2023 Conference].

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

For Rodin users the workshop will provide an opportunity to share tool
experiences and to gain an understanding of on-going tool developments.
For plug-in developers the workshop will provide an opportunity to showcase
their tools and to achieve better coordination of tool development effort.

=== Programme ===

'''09:30 -- 11:00''' Session I - Session Chair: Laurent Voisin
* Rodin: two years of updates - ''Guillaume Verdier, Laurent Voisin, Idir Ait-Sadoune''
* Proof automation for Event-B theories - ''P. Rivière, N. K. Singh, Y. Aït-Ameur, and G. Dupont''
* Constructing the Real Numbers using RODIN and EBRP’s plugin - ''Jean-Raymond Abrial, Dominique Cansell''

'''11:00 -- 11:30''' ''Coffee Break''

'''11:30 -- 13:00''' Session II - Session Chair: Neeraj Kumar Singh
* rodin-hs: A set of libraries and tools for handling Rodin files in Haskell - ''Guillaume Dupont''
* CamilleX 3.0 - ''S.T. Hoang, C. Snook, D. Dghaym, A. Salehi, M. Butler''
* Formalisation of a Software Development Process - ''Ivan Entchev, Son Thai Hoang''
* A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements of Self-Driving Vehicle Systems - ''Fahad Alotaibi, Son Thai Hoang, Michael Butler''

'''13:00 -- 14:00''' ''Lunch Break''

'''14:00 -- 15:30''' Session III - Session Chair: Fabian Vu
* Generating safe code to prevent or handle integer overflows inside Event-B actions formulas - ''Fredrik Öhrström''
* IVOIRE & Rodin

=== Organisers ===
Dana Dghaym, University of Southampton, UK
Neeraj Kumar Singh, INPT-ENSEEIHT / IRIT, University of Toulouse, France
Laurent Voisin, Systerel, France
Fabian Vu, Heinrich Heine University Düsseldorf, Germany

Rodin Workshop 2023

2023-03-06T15:10:42Z

Dana: /* 10th Rodin User and Developer Workshop */

Rodin Workshop 2023

2023-03-06T14:58:22Z

Dana: /* 10th Rodin User and Developer Workshop */

Rodin Workshop 2023

2023-03-06T14:48:20Z

Dana: /* 10th Rodin User and Developer Workshop */

Rodin Workshop 2023

2023-03-06T14:36:06Z

Dana:

==10th Rodin User and Developer Workshop==

The 10th Rodin User and Developer Workshop, 30 May, 2023, Nancy, France

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 9th Rodin workshop will be collocated with the [https://abz2023.loria.fr/ ABZ 2023 Conference].

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

For Rodin users the workshop will provide an opportunity to share tool
experiences and to gain an understanding of on-going tool developments.
For plug-in developers the workshop will provide an opportunity to showcase
their tools and to achieve better coordination of tool development effort.

=== Organisers ===
Dana Dghaym, University of Southampton, UK
Laurent Voisin, Systerel, France
Fabian Vu, Heinrich Heine University Düsseldorf, Germany

Rodin Workshop 2023

2023-03-06T14:29:23Z

Dana:

Template:Main Page/Community

2023-03-06T14:29:06Z

Dana: /* Displayed as follow on the Main Page */

<noinclude>
== Displayed as follow on the Main Page ==
<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">
</noinclude>
[https://wiki.event-b.org/index.php/Rodin_Workshop_2023 Rodin 2023 -- The 10th Rodin User and Developer Workshop on 30 May 2023 (co-located with ABZ2023).]

[https://wiki.event-b.org/index.php/Rodin_Workshop_2021 Rodin 2021 -- The 9th Rodin User and Developer Workshop on 8 June 2021 (co-located with ABZ2021).]

[http://wiki.event-b.org/index.php/Rodin_Workshop_2020 Rodin 2020 (POSTPONED TO 2021) -- The 8th Rodin User and Developer Workshop on 26 May 2020 (co-located with ABZ2020).]

[http://research.nii.ac.jp/eventb2016/ The Event-B Day at NII. November 21, 2016. NII, Tokyo, Japan.]

[http://wiki.event-b.org/index.php/Rodin_Workshop_2016 Rodin 2016 Workshop on 23-24 May 2016 co-located with ABZ2016.]

[http://www.cdcc.faw.jku.at/ABZ2016/ ABZ 2016: The 5th International ABZ Conference, for ASM, Alloy, B, TLA, VDM, Z May 23-27, 2016 Linz, Austria]

[http://research.nii.ac.jp/eventb2014/ The Event-B Day at NII. October 31, 2014. NII, Tokyo, Japan.]

[http://wiki.event-b.org/index.php/Rodin_Workshop_2014 Rodin 2014 Workshop on 2+3 June 2014 co-located with ABZ2014.]

[http://link.springer.com/book/10.1007/978-3-642-33170-1/page/1 The DEPLOY book was published by Springer in July 2013: Industrial deployment of system engineering methods providing high dependability and productivity, A. Romanovsky, M. Thomas (Eds). ISBN: 978-3-642-33169-5]

[http://2013.dsn.org/tutorial-a-romanovsky/ Tutorial: ''Correct-by-Construction Development of Dependable Systems'' at the 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks. June 24, 2013. Budapest, Hungary]

[http://wiki.event-b.org/index.php/Rodin_Workshop_2013 Rodin 2013 Workshop on 10+11 June 2013.]

[http://www.rodintools.org/tutorial.html ICFEM 2012 Tutorial ''Correct-by-Construction Development of Dependable Systems''. Nov 12, 2012, Kyoto, Japan]

[http://research.nii.ac.jp/eventb2012/ ICFEM 2012 Workshop on the experience of and advances in developing dependable systems in Event-B. Nov 13, 2012, Kyoto, Japan]

[[Rodin Workshop 2012]] - Rodin 2012 Workshop


----

[[Mailing lists]] - Rodin related mailing lists.

[[Rodin Platform Releases]] - Track releases.

[[Bugs and Feature Requests]] - Report a bug or request a new feature.

[[Plug-in_Wishlist|Plug-in Wishlist]]

[http://www.fm4industry.org FAQ about the use and the impact of formal engineering methods in Industry]

----

''Do not hesitate to improve this wiki.'' You may find some help within the following pages:

[[Help:Contents|Wiki Help]] - Some technical documentation about this wiki.

[[EB:VP|Village Pump]] - Ask your questions and keep track of the main wiki events.

[[Special:Recentchanges|Recent Changes]] - Monitor the wiki activity.

[[Test area|Test Area]] - Wiki editing is simple. Try by yourself.
<noinclude>
</div>
[[Category:Main page templates|Community]]
</noinclude>

Template:Main Page/Community

2023-03-06T14:19:38Z

Dana: /* Displayed as follow on the Main Page */

<noinclude>
== Displayed as follow on the Main Page ==
<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">
</noinclude>
[https://wiki.event-b.org/index.php/Rodin_Workshop_2023 Rodin 2023 -- The 9th Rodin User and Developer Workshop on 30 May 2023 (co-located with ABZ2023).]

[https://wiki.event-b.org/index.php/Rodin_Workshop_2021 Rodin 2021 -- The 9th Rodin User and Developer Workshop on 8 June 2021 (co-located with ABZ2021).]

[http://wiki.event-b.org/index.php/Rodin_Workshop_2020 Rodin 2020 (POSTPONED TO 2021) -- The 8th Rodin User and Developer Workshop on 26 May 2020 (co-located with ABZ2020).]

[http://research.nii.ac.jp/eventb2016/ The Event-B Day at NII. November 21, 2016. NII, Tokyo, Japan.]

[http://wiki.event-b.org/index.php/Rodin_Workshop_2016 Rodin 2016 Workshop on 23-24 May 2016 co-located with ABZ2016.]

[http://www.cdcc.faw.jku.at/ABZ2016/ ABZ 2016: The 5th International ABZ Conference, for ASM, Alloy, B, TLA, VDM, Z May 23-27, 2016 Linz, Austria]

[http://research.nii.ac.jp/eventb2014/ The Event-B Day at NII. October 31, 2014. NII, Tokyo, Japan.]

[http://wiki.event-b.org/index.php/Rodin_Workshop_2014 Rodin 2014 Workshop on 2+3 June 2014 co-located with ABZ2014.]

[http://link.springer.com/book/10.1007/978-3-642-33170-1/page/1 The DEPLOY book was published by Springer in July 2013: Industrial deployment of system engineering methods providing high dependability and productivity, A. Romanovsky, M. Thomas (Eds). ISBN: 978-3-642-33169-5]

[http://2013.dsn.org/tutorial-a-romanovsky/ Tutorial: ''Correct-by-Construction Development of Dependable Systems'' at the 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks. June 24, 2013. Budapest, Hungary]

[http://wiki.event-b.org/index.php/Rodin_Workshop_2013 Rodin 2013 Workshop on 10+11 June 2013.]

[http://www.rodintools.org/tutorial.html ICFEM 2012 Tutorial ''Correct-by-Construction Development of Dependable Systems''. Nov 12, 2012, Kyoto, Japan]

[http://research.nii.ac.jp/eventb2012/ ICFEM 2012 Workshop on the experience of and advances in developing dependable systems in Event-B. Nov 13, 2012, Kyoto, Japan]

[[Rodin Workshop 2012]] - Rodin 2012 Workshop


----

[[Mailing lists]] - Rodin related mailing lists.

[[Rodin Platform Releases]] - Track releases.

[[Bugs and Feature Requests]] - Report a bug or request a new feature.

[[Plug-in_Wishlist|Plug-in Wishlist]]

[http://www.fm4industry.org FAQ about the use and the impact of formal engineering methods in Industry]

----

''Do not hesitate to improve this wiki.'' You may find some help within the following pages:

[[Help:Contents|Wiki Help]] - Some technical documentation about this wiki.

[[EB:VP|Village Pump]] - Ask your questions and keep track of the main wiki events.

[[Special:Recentchanges|Recent Changes]] - Monitor the wiki activity.

[[Test area|Test Area]] - Wiki editing is simple. Try by yourself.
<noinclude>
</div>
[[Category:Main page templates|Community]]
</noinclude>

Rodin Workshop 2023

2023-03-06T14:18:30Z

Dana: Created page with "==9th Rodin User and Developer Workshop== The 9th Rodin User and Developer Workshop, 30 May, 2023, Nancy, France Event-B is a formal method for system-level modelling and an..."

==9th Rodin User and Developer Workshop==

The 9th Rodin User and Developer Workshop, 30 May, 2023, Nancy, France

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 9th Rodin workshop will be collocated with the [https://abz2023.loria.fr/ ABZ 2023 Conference].

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

For Rodin users the workshop will provide an opportunity to share tool
experiences and to gain an understanding of on-going tool developments.
For plug-in developers the workshop will provide an opportunity to showcase
their tools and to achieve better coordination of tool development effort.

=== Organisers ===
Dana Dghaym, University of Southampton, UK
Laurent Voisin, Systerel, France
Fabian Vu, Heinrich Heine University Dusseldorf, Germany