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).
Rodin 2020 (POSTPONED TO 2021) -- The 8th Rodin User and Developer Workshop on 26 May 2020 (co-located with ABZ2020).
The Event-B Day at NII. November 21, 2016. NII, Tokyo, Japan.
Rodin 2016 Workshop on 23-24 May 2016 co-located with ABZ2016.
ABZ 2016: The 5th International ABZ Conference, for ASM, Alloy, B, TLA, VDM, Z May 23-27, 2016 Linz, Austria
The Event-B Day at NII. October 31, 2014. NII, Tokyo, Japan.
Rodin 2014 Workshop on 2+3 June 2014 co-located with ABZ2014.
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
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
Rodin 2013 Workshop on 10+11 June 2013.
ICFEM 2012 Tutorial Correct-by-Construction Development of Dependable Systems. Nov 12, 2012, Kyoto, Japan
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
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.