Template:Main Page/Community - Revision history

Laurent at 16:17, 9 January 2026

2026-01-09T16:17:06Z

← Older revision		Revision as of 16:17, 9 January 2026
Line 3:		Line 3:
	<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">		<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">
	</noinclude>		</noinclude>
			[https://wiki.event-b.org/index.php/Rodin_Workshop_2026 Rodin 2026 -- The 13th Rodin User and Developer Workshop on 18-19 May 2026 (co-located with ABZ2026 and FM2026).]

			[https://wiki.event-b.org/index.php/Rodin_Workshop_2025 Rodin 2025 -- The 12th Rodin User and Developer Workshop on 10 June 2025 (co-located with ABZ2025).]

	[https://wiki.event-b.org/index.php/Rodin_Workshop_2024 Rodin 2024 -- The 11th Rodin User and Developer Workshop on 25 June 2024 (co-located with ABZ2024).]		[https://wiki.event-b.org/index.php/Rodin_Workshop_2024 Rodin 2024 -- The 11th Rodin User and Developer Workshop on 25 June 2024 (co-located with ABZ2024).]

Guillaume: Add Rodin workshop 2024 and remove old links

2024-04-15T12:45:57Z

Add Rodin workshop 2024 and remove old links

← Older revision		Revision as of 12:45, 15 April 2024
Line 3:		Line 3:
	<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">		<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">
	</noinclude>		</noinclude>
			[https://wiki.event-b.org/index.php/Rodin_Workshop_2024 Rodin 2024 -- The 11th Rodin User and Developer Workshop on 25 June 2024 (co-located with ABZ2024).]

	[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_2023 Rodin 2023 -- The 10th Rodin User and Developer Workshop on 30 May 2023 (co-located with ABZ2023).]

Line 20:		Line 22:

	[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://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~~

	<!--[[Rodin Workshop 2010]] - Programme for Rodin 2010 Workshop		<!--[[Rodin Workshop 2010]] - Programme for Rodin 2010 Workshop

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

2023-03-06T14:29:06Z

Displayed as follow on the Main Page

← Older revision		Revision as of 14:29, 6 March 2023
Line 3:		Line 3:
	<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">		<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">
	</noinclude>		</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_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).]		[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).]

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

2023-03-06T14:19:38Z

Displayed as follow on the Main Page

← Older revision		Revision as of 14:19, 6 March 2023
Line 3:		Line 3:
	<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">		<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">
	</noinclude>		</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).]		[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).]

Son at 09:30, 12 May 2021

2021-05-12T09:30:34Z

← Older revision		Revision as of 09:30, 12 May 2021
Line 3:		Line 3:
	<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">		<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">
	</noinclude>		</noinclude>
	[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.]		[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://research.nii.ac.jp/eventb2016/ The Event-B Day at NII. November 21, 2016. NII, Tokyo, Japan.]

Colin: add postponed Rodin workshop until 2021

2020-05-19T12:57:11Z

add postponed Rodin workshop until 2021

← Older revision		Revision as of 12:57, 19 May 2020
Line 3:		Line 3:
	<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">		<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">
	</noinclude>		</noinclude>
	[http://wiki.event-b.org/index.php/Rodin_Workshop_2020 Rodin 2020 -- The 8th Rodin User and Developer Workshop on 26 May 2020 co-located with ABZ2020.]		[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://research.nii.ac.jp/eventb2016/ The Event-B Day at NII. November 21, 2016. NII, Tokyo, Japan.]

imported>Son: /* Displayed as follow on the Main Page */

2020-02-27T20:39:23Z

Displayed as follow on the Main Page

← Older revision		Revision as of 20:39, 27 February 2020
Line 3:		Line 3:
	<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">		<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">
	</noinclude>		</noinclude>
	[http://wiki.event-b.org/index.php/Rodin_Workshop_2020 ~~Rodin2020 the~~ 8th Rodin User and Developer Workshop on 26 May 2020 co-located with ABZ2020.]		[http://wiki.event-b.org/index.php/Rodin_Workshop_2020 Rodin 2020 -- 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://research.nii.ac.jp/eventb2016/ The Event-B Day at NII. November 21, 2016. NII, Tokyo, Japan.]

imported>Son: /* Displayed as follow on the Main Page */

2020-02-27T19:19:18Z

Displayed as follow on the Main Page

← Older revision		Revision as of 19:19, 27 February 2020
Line 3:		Line 3:
	<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">		<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">
	</noinclude>		</noinclude>
			[http://wiki.event-b.org/index.php/Rodin_Workshop_2020 Rodin2020 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://research.nii.ac.jp/eventb2016/ The Event-B Day at NII. November 21, 2016. NII, Tokyo, Japan.]

imported>Sascha: /* Displayed as follow on the Main Page */

2016-06-06T13:46:06Z

Displayed as follow on the Main Page

← Older revision		Revision as of 13:46, 6 June 2016
Line 3:		Line 3:
	<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">		<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">
	</noinclude>		</noinclude>
			[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://wiki.event-b.org/index.php/Rodin_Workshop_2016 Rodin 2016 Workshop on 23-24 May 2016 co-located with ABZ2016.]

imported>WikiSysop at 18:11, 20 November 2015

2015-11-20T18:11:20Z

← Older revision		Revision as of 18:11, 20 November 2015
Line 3:		Line 3:
	<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">		<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">
	</noinclude>		</noinclude>

			[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://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]