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

From Event-B
Jump to navigationJump to search
imported>Sascha
m (add postponed Rodin workshop until 2021)
 
(25 intermediate revisions by 5 users not shown)
Line 1: Line 1:
 
<noinclude>
 
<noinclude>
 
== Displayed as follow on the Main Page ==
 
== Displayed as follow on the Main Page ==
<div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF">
+
<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">
 
</noinclude>
 
</noinclude>
 +
[http://wiki.event-b.org/index.php/Rodin_Workshop_2020 Rodin 2020 (POSTPONED TO 2021) -- The 8th Rodin User and Developer Workshop on 26 May 2020 co-located with ABZ2020.]
 +
 +
[http://research.nii.ac.jp/eventb2016/ The Event-B Day at NII. November 21, 2016. NII, Tokyo, Japan.]
 +
 +
[http://wiki.event-b.org/index.php/Rodin_Workshop_2016 Rodin 2016 Workshop on 23-24 May 2016 co-located with ABZ2016.]
 +
 +
[http://www.cdcc.faw.jku.at/ABZ2016/ ABZ 2016: The 5th International ABZ Conference, for ASM, Alloy, B, TLA, VDM, Z May 23-27, 2016 Linz, Austria]
 +
 +
[http://research.nii.ac.jp/eventb2014/ The Event-B Day at NII. October 31, 2014. NII, Tokyo, Japan.]
 +
 +
[http://wiki.event-b.org/index.php/Rodin_Workshop_2014 Rodin 2014 Workshop on 2+3 June 2014 co-located with ABZ2014.]
 +
 +
[http://link.springer.com/book/10.1007/978-3-642-33170-1/page/1 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]
 +
 +
[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://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://www.rodintools.org/tutorial.html ICFEM 2012 Tutorial ''Correct-by-Construction Development of Dependable Systems''. Nov 12, 2012, Kyoto, Japan]
Line 10: Line 27:
 
[[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
 
 
 
 
[[Dagstuhl Seminar 2009|Industry Challenges identifed at Dagstuhl refinement seminar 2009]]
 
[[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.
 
[[Mailing lists]] - Rodin related mailing lists.
Line 24: Line 41:
 
[[Plug-in_Wishlist|Plug-in Wishlist]]
 
[[Plug-in_Wishlist|Plug-in Wishlist]]
  
[[DEPLOY_Plenary_Workshop_2009|DEPLOY Plenary Meeting 2009]] - Call for Papers
+
[http://www.fm4industry.org FAQ about the use and the impact of formal engineering methods in Industry]
 
 
[[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:
+
''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.
 
[[Help:Contents|Wiki Help]] - Some technical documentation about this wiki.

Latest revision as of 12:57, 19 May 2020

Displayed as follow on the Main Page

Rodin 2020 (POSTPONED TO 2021) -- 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.