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

From Event-B
Jump to navigationJump to search
imported>Tommy
m
imported>Tommy
Line 14: Line 14:
  
 
[[Rodin Workshop 2012]] - Rodin 2012 Workshop
 
[[Rodin Workshop 2012]] - Rodin 2012 Workshop
 
[http://www.fm4industry.org FAQ about the use and the impact of formal engineering methods in Industry]
 
  
 
[[Rodin Workshop 2010]] - Programme for Rodin 2010 Workshop
 
[[Rodin Workshop 2010]] - Programme for Rodin 2010 Workshop
Line 34: Line 32:
  
 
[[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]
  
 
----
 
----

Revision as of 10:08, 30 May 2013

Displayed as follow on the Main Page

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

The DEPLOY book will be published by Springer in June 2013: Industrial deployment of system engineering methods providing high dependability and productivity, A. Romanovsky, M. Thomas (Eds).

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

Rodin Workshop 2010 - Programme for Rodin 2010 Workshop

Industry Challenges identifed at Dagstuhl refinement seminar 2009

DEPLOY Plenary Meeting 2009 - Call for Papers

Rodin Workshop 2009 - Abstracts and slides from Rodin 2009 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.