Difference between pages "Template:L witness" and "Template:Main Page/Community"
From Event-B
(Difference between pages)
Jump to navigationJump to searchimported>Mathieu m |
imported>Tommy m |
||
Line 1: | Line 1: | ||
<noinclude> | <noinclude> | ||
− | == | + | == Displayed as follow on the Main Page == |
− | + | <div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF"> | |
− | + | </noinclude> | |
+ | [http://2013.dsn.org/tutorial-a-romanovsky/ 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] | ||
− | + | [http://www.rodintools.org/dbook.html 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).] | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | [[ | + | [http://wiki.event-b.org/index.php/Rodin_Workshop_2013 Rodin 2013 Workshop on 10+11 June 2013.] |
− | + | ||
− | </ | + | [http://www.rodintools.org/tutorial.html ICFEM 2012 Tutorial ''Correct-by-Construction Development of Dependable Systems''. Nov 12, 2012, Kyoto, Japan] |
− | -->< | + | |
+ | [http://research.nii.ac.jp/eventb2012/ 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 | ||
+ | [[Dagstuhl Seminar 2009|Industry Challenges identifed at Dagstuhl refinement seminar 2009]] | ||
+ | [[DEPLOY_Plenary_Workshop_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|Plug-in Wishlist]] | ||
+ | |||
+ | [http://www.fm4industry.org 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: | ||
+ | |||
+ | [[Help:Contents|Wiki Help]] - Some technical documentation about this wiki. | ||
+ | |||
+ | [[EB:VP|Village Pump]] - Ask your questions and keep track of the main wiki events. | ||
+ | |||
+ | [[Special:Recentchanges|Recent Changes]] - Monitor the wiki activity. | ||
+ | |||
+ | [[Test area|Test Area]] - Wiki editing is simple. Try by yourself. | ||
+ | <noinclude> | ||
+ | </div> | ||
+ | [[Category:Main page templates|Community]] | ||
+ | </noinclude> |
Revision as of 13:28, 4 July 2013
Displayed as follow on the Main Page
Rodin 2013 Workshop on 10+11 June 2013.
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.
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.