Template:Main Page/Community

From Event-B
Revision as of 11:37, 5 June 2012 by imported>Sascha (→‎Displayed as follow on the Main Page)
Jump to navigationJump to search

Displayed as follow on the Main Page


ICFEM 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

FAQ about the use and the impact of formal engineering methods in Industry

Rodin Workshop 2010 - Programme for Rodin 2010 Workshop

Industry Challenges identifed at Dagstuhl refinement seminar 2009

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

DEPLOY Plenary Meeting 2009 - Call for Papers

Rodin Workshop 2009 - Abstracts and slides from Rodin 2009 Workshop


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.