Difference between revisions of "Rodin Workshop 2013"
From Event-B
Jump to navigationJump to searchimported>Sascha (Created page with "5th Rodin User and Developer Workshop June 10-11, 2013 Turku, Finland Organisers: Michael Butler, University of Southampton Stefan Hallerstede, Aarhus University Thierry L...") |
imported>Sascha |
||
Line 1: | Line 1: | ||
5th Rodin User and Developer Workshop | 5th Rodin User and Developer Workshop | ||
+ | |||
June 10-11, 2013 | June 10-11, 2013 | ||
+ | |||
Turku, Finland | Turku, Finland | ||
Organisers: | Organisers: | ||
+ | |||
Michael Butler, University of Southampton | Michael Butler, University of Southampton | ||
+ | |||
Stefan Hallerstede, Aarhus University | Stefan Hallerstede, Aarhus University | ||
+ | |||
Thierry Lecomte, ClearSy | Thierry Lecomte, ClearSy | ||
+ | |||
Michael Leuschel, University of Düsseldorf | Michael Leuschel, University of Düsseldorf | ||
+ | |||
Alexander Romanovsky, Newcastle University | Alexander Romanovsky, Newcastle University | ||
+ | |||
Laurent Voisin, Systerel | Laurent Voisin, Systerel | ||
+ | |||
Marina Walden, Åbo Akademi University | Marina Walden, Åbo Akademi University |
Revision as of 16:46, 20 December 2012
5th Rodin User and Developer Workshop
June 10-11, 2013
Turku, Finland
Organisers:
Michael Butler, University of Southampton
Stefan Hallerstede, Aarhus University
Thierry Lecomte, ClearSy
Michael Leuschel, University of Düsseldorf
Alexander Romanovsky, Newcastle University
Laurent Voisin, Systerel
Marina Walden, Åbo Akademi University