Difference between revisions of "Template:Main Page/Community"

From Event-B
Jump to navigationJump to search
imported>Sascha
imported>Sascha
Line 3: Line 3:
 
<div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF">
 
<div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF">
 
</noinclude>
 
</noinclude>
 +
 +
[http://www.rodintools.org/tutorial.html ICFEM Tutorial ''Correct-by-Construction Development of Dependable Systems''. Nov 12, 2012, Kyoto, Japan]
 +
 
[http://research.nii.ac.jp/eventb2012/ ICFEM Workshop on the experience of and advances in developing dependable systems in Event-B. Nov 13, 2012, Kyoto, Japan]
 
[http://research.nii.ac.jp/eventb2012/ ICFEM Workshop on the experience of and advances in developing dependable systems in Event-B. Nov 13, 2012, Kyoto, Japan]
  

Revision as of 08:44, 10 August 2012

Displayed as follow on the Main Page


ICFEM Tutorial Correct-by-Construction Development of Dependable Systems. Nov 12, 2012, Kyoto, Japan

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.