Template:Main Page/Community

From Event-B
Revision as of 19:19, 27 February 2020 by imported>Son (→‎Displayed as follow on the Main Page)
Jump to navigationJump to search

Displayed as follow on the Main Page

Rodin2020 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.