Rodin Workshop 2014: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>WikiSysop
Created page with "==5th Rodin User and Developer Workshop== ''June 2-3, 2014'' Toulouse http://wiki.event-b.org/index.php/Rodin_Workshop_2013 The purpose of the Rodin workshop is to bring ..."
 
imported>WikiSysop
Line 16: Line 16:
development effort.
development effort.


Preceding Rodin User and Developer Workshops were held at Abo Akademi, the University of
Previous Rodin User and Developer Workshops were held at Abo Akademi, the University of
Southampton, the University of Düsseldorf and the University of Paris-Est Créteil.
Southampton, the University of Düsseldorf and the University of Paris-Est Créteil.


The 5th Rodin workshop will be collocated with the [http://www.irit.fr/ABZ2014/ ABZ 2014 conference].
The 5th Rodin workshop will be collocated with the [http://www.irit.fr/ABZ2014/ ABZ 2014 conference].

Revision as of 14:34, 20 December 2013

5th Rodin User and Developer Workshop

June 2-3, 2014

Toulouse

http://wiki.event-b.org/index.php/Rodin_Workshop_2013

The purpose of the Rodin workshop is to bring together existing and potential users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers. For Rodin users the workshop will provide an opportunity to share tool experiences and to gain an understanding of on-going tool developments. For plug-in developers the workshop will provide an opportunity to showcase their tools and to achieve better coordination of tool development effort.

Previous Rodin User and Developer Workshops were held at Abo Akademi, the University of Southampton, the University of Düsseldorf and the University of Paris-Est Créteil.

The 5th Rodin workshop will be collocated with the ABZ 2014 conference.