Template:Main Page/Community: Difference between revisions
imported>Sascha |
Add Rodin workshop 2024 and remove old links |
||
| (29 intermediate revisions by 8 users not shown) | |||
| Line 1: | Line 1: | ||
<noinclude> | <noinclude> | ||
== Displayed as follow on the Main Page == | == Displayed as follow on the Main Page == | ||
<div style="margin:0;width: | <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_2021 Rodin 2021 -- The 9th Rodin User and Developer Workshop on 8 June 2021 (co-located with ABZ2021).] | ||
[http://www. | [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] | ||
<!--[[Rodin Workshop 2010]] - Programme for Rodin 2010 Workshop | |||
[[Dagstuhl Seminar 2009|Industry Challenges identifed at Dagstuhl refinement seminar 2009]] | [[Dagstuhl Seminar 2009|Industry Challenges identifed at Dagstuhl refinement seminar 2009]] | ||
[[DEPLOY_Plenary_Workshop_2009|DEPLOY Plenary Meeting 2009]] - Call for Papers | |||
[[Rodin Workshop 2009]] - Abstracts and slides from Rodin 2009 Workshop --> | |||
---- | |||
[[Mailing lists]] - Rodin related mailing lists. | [[Mailing lists]] - Rodin related mailing lists. | ||
| Line 24: | Line 37: | ||
[[Plug-in_Wishlist|Plug-in Wishlist]] | [[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: | ''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. | [[Help:Contents|Wiki Help]] - Some technical documentation about this wiki. | ||
Latest revision as of 12:45, 15 April 2024
Displayed as follow on the Main Page
Rodin 2024 -- The 11th Rodin User and Developer Workshop on 25 June 2024 (co-located with ABZ2024).
Rodin 2023 -- The 10th Rodin User and Developer Workshop on 30 May 2023 (co-located with ABZ2023).
Rodin 2021 -- The 9th Rodin User and Developer Workshop on 8 June 2021 (co-located with ABZ2021).
The Event-B Day at NII. November 21, 2016. NII, Tokyo, Japan.
Rodin 2016 Workshop on 23-24 May 2016 co-located with ABZ2016.
The Event-B Day at NII. October 31, 2014. NII, Tokyo, Japan.
Rodin 2014 Workshop on 2+3 June 2014 co-located with ABZ2014.
Mailing lists - Rodin related mailing lists.
Rodin Platform Releases - Track releases.
Bugs and Feature Requests - Report a bug or request a new feature.
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:
Wiki Help - Some technical documentation about this wiki.
Village Pump - Ask your questions and keep track of the main wiki events.
Recent Changes - Monitor the wiki activity.
Test Area - Wiki editing is simple. Try by yourself.
