Rodin Workshop 2023 - Revision history

Dana: /* Programme */

2023-05-26T15:36:16Z

Programme

Dana: /* Programme */

2023-05-26T15:28:29Z

Programme

← Older revision		Revision as of 15:28, 26 May 2023
Line 22:		Line 22:
	== Programme ==		== Programme ==

	'''09:30 -- 11:00''' Session I - Session Chair: Laurent Voisin		'''09:30 - 11:00''' Session 1 - ''Session Chair: Laurent Voisin''
	* Rodin: two years of updates - ''Guillaume Verdier, Laurent Voisin, Idir Ait-Sadoune''		* 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''		* 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''		* Constructing the Real Numbers using RODIN and EBRP’s plugin - ''Jean-Raymond Abrial, Dominique Cansell''

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

	'''11:30 -- 13:00''' Session II - Session Chair: Neeraj Kumar Singh		'''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''		* 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''		* CamilleX 3.0 - ''S.T. Hoang, C. Snook, D. Dghaym, A. Salehi, M. Butler''
Line 35:		Line 35:
	* A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements of Self-Driving Vehicle Systems - ''Fahad Alotaibi, Son Thai Hoang, Michael Butler''		* 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''		'''13:00 - 14:00''' ''Lunch Break''

	'''14:00 -- 15:30''' Session ~~III~~ - Session Chair: Fabian Vu		'''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''		* 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]		* Shared Session with [https://isse.jku.at/ivoire/index.php/IVOIRE_Workshop_2023 IVOIRE]

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

2023-05-26T15:21:29Z

10th Rodin User and Developer Workshop

← Older revision		Revision as of 15:21, 26 May 2023
Line 20:		Line 20:
	their tools and to achieve better coordination of tool development effort.		their tools and to achieve better coordination of tool development effort.

	=== Programme ===		== Programme ==

	'''09:30 -- 11:00''' Session I - Session Chair: Laurent Voisin		'''09:30 -- 11:00''' Session I - Session Chair: Laurent Voisin
Line 39:		Line 39:
	'''14:00 -- 15:30''' Session III - Session Chair: Fabian Vu		'''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''		* Generating safe code to prevent or handle integer overflows inside Event-B actions formulas - ''Fredrik Öhrström''
	* IVOIRE ~~& Rodin~~		* 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 ===		== Organisers ==
	<p>Dana Dghaym, University of Southampton, UK</p>		<p>Dana Dghaym, University of Southampton, UK</p>
	<p>Neeraj Kumar Singh, INPT-ENSEEIHT / IRIT, University of Toulouse, France</p>		<p>Neeraj Kumar Singh, INPT-ENSEEIHT / IRIT, University of Toulouse, France</p>
	<p>Laurent Voisin, Systerel, France</p>		<p>Laurent Voisin, Systerel, France</p>
	<p>Fabian Vu, Heinrich Heine University Düsseldorf, Germany</p>		<p>Fabian Vu, Heinrich Heine University Düsseldorf, Germany</p>

Dana: /* Call for Abstracts */

2023-05-26T15:13:44Z

Call for Abstracts

← Older revision		Revision as of 15:13, 26 May 2023
Line 20:		Line 20:
	their tools and to achieve better coordination of tool development effort.		their tools and to achieve better coordination of tool development effort.

	==~~Call for Abstracts~~==		=== Programme ===

	~~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 [mailto:rodin@ecs~~.~~soton~~.ac.~~uk?subject=RodinWorkshop2023%20Contribution rodin@ecs~~.~~soton~~.~~ac.uk] by 28th April 2023 with subject~~ '''~~[RodinWorkshop2023] Contribution~~'''~~, indicating whether it is a tool usage or tool development presentation.~~		'''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''

	~~We will endeavour to accommodate all submissions that are clearly relevant to Rodin and Event~~-B.		'''11:00 -- 11:30''' ''Coffee Break''

	~~The proceedings~~ of ~~the workshop will be available as~~ a ~~technical report at~~ the ~~University~~ of ~~Southampton.~~		'''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

Laurent: /* Organisers */ Add Neeraj

2023-03-09T14:48:55Z

Organisers: Add Neeraj

← Older revision		Revision as of 14:48, 9 March 2023
Line 31:		Line 31:
	=== Organisers ===		=== Organisers ===
	<p>Dana Dghaym, University of Southampton, UK</p>		<p>Dana Dghaym, University of Southampton, UK</p>
			<p>Neeraj Kumar Singh, INPT-ENSEEIHT / IRIT, University of Toulouse, France</p>
	<p>Laurent Voisin, Systerel, France</p>		<p>Laurent Voisin, Systerel, France</p>
	<p>Fabian Vu, Heinrich Heine University Düsseldorf, Germany</p>		<p>Fabian Vu, Heinrich Heine University Düsseldorf, Germany</p>

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

2023-03-06T15:10:42Z

10th Rodin User and Developer Workshop

← Older revision		Revision as of 15:10, 6 March 2023
Line 19:		Line 19:
	For plug-in developers the workshop will provide an opportunity to showcase		For plug-in developers the workshop will provide an opportunity to showcase
	their tools and to achieve better coordination of tool development effort.		their tools and to achieve better coordination of tool development effort.

			==Call for Abstracts==

	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 [mailto:rodin@ecs.soton.ac.uk?subject=RodinWorkshop2023%20Contribution rodin@ecs.soton.ac.uk] by 28th April 2023 with subject '''[RodinWorkshop2023] Contribution''', indicating whether it is a tool usage or tool development presentation.		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 [mailto:rodin@ecs.soton.ac.uk?subject=RodinWorkshop2023%20Contribution rodin@ecs.soton.ac.uk] by 28th April 2023 with subject '''[RodinWorkshop2023] Contribution''', indicating whether it is a tool usage or tool development presentation.

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

2023-03-06T14:58:22Z

10th Rodin User and Developer Workshop

← Older revision		Revision as of 14:58, 6 March 2023
Line 19:		Line 19:
	For plug-in developers the workshop will provide an opportunity to showcase		For plug-in developers the workshop will provide an opportunity to showcase
	their tools and to achieve better coordination of tool development effort.		their tools and to achieve better coordination of tool development effort.

			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 [mailto:rodin@ecs.soton.ac.uk?subject=RodinWorkshop2023%20Contribution rodin@ecs.soton.ac.uk] by 28th April 2023 with subject '''[RodinWorkshop2023] Contribution''', indicating whether it is a tool usage or tool development presentation.

			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.


	=== Organisers ===		=== Organisers ===

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

2023-03-06T14:48:20Z

10th Rodin User and Developer Workshop

← Older revision		Revision as of 14:48, 6 March 2023
Line 1:		Line 1:
	==10th Rodin User and Developer Workshop==		==10th Rodin User and Developer Workshop==

	The 10th Rodin User and Developer Workshop, 30 May, 2023, Nancy, France		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		Event-B is a formal method for system-level modelling and analysis. The
Line 9:		Line 9:
	already been developed.		already been developed.

	The ~~9th~~ Rodin workshop will be collocated with the [https://abz2023.loria.fr/ ABZ 2023 Conference].		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		The purpose of this workshop is to bring together existing and potential

Dana at 14:36, 6 March 2023

2023-03-06T14:36:06Z

← Older revision		Revision as of 14:36, 6 March 2023
Line 23:		Line 23:
	<p>Dana Dghaym, University of Southampton, UK</p>		<p>Dana Dghaym, University of Southampton, UK</p>
	<p>Laurent Voisin, Systerel, France</p>		<p>Laurent Voisin, Systerel, France</p>
	<p>Fabian Vu, Heinrich Heine University ~~Dusseldorf~~, Germany</p>		<p>Fabian Vu, Heinrich Heine University Düsseldorf, Germany</p>

Dana at 14:29, 6 March 2023

2023-03-06T14:29:23Z

← Older revision		Revision as of 14:29, 6 March 2023
Line 1:		Line 1:
	==~~9th~~ Rodin User and Developer Workshop==		==10th Rodin User and Developer Workshop==

	The ~~9th~~ Rodin User and Developer Workshop, 30 May, 2023, Nancy, France		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		Event-B is a formal method for system-level modelling and analysis. The

← Older revision		Revision as of 15:36, 26 May 2023
Line 22:		Line 22:
	== Programme ==		== Programme ==

	'''09:30 - 11:00''' Session 1 - ''Session Chair: Laurent Voisin''		'''09:30 - 11:00''' Session 1 — ''Session Chair: Laurent Voisin''
	* Rodin: two years of updates - ''Guillaume Verdier, Laurent Voisin, Idir Ait-Sadoune''		* 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''		* 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''		* Constructing the Real Numbers using RODIN and EBRP’s plugin — ''Jean-Raymond Abrial, Dominique Cansell''

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

	'''11:30 - 13:00''' Session 2 - ''Session Chair: Neeraj Kumar Singh''		'''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''		* 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''		* 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''		* 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''		* 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''		'''13:00 - 14:00''' ''Lunch Break''

	'''14:00 - 15:30''' Session 3 - ''Session Chair: Fabian Vu''		'''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''		* 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]		* Shared Session with [https://isse.jku.at/ivoire/index.php/IVOIRE_Workshop_2023 IVOIRE]