Rodin Workshop 2013: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Sascha
No edit summary
imported>Sascha
No edit summary
Line 1: Line 1:
5th Rodin User and Developer Workshop  
5th Rodin Users' and Developers' Workshop  


June 10-11, 2013
June 10-11, 2013

Revision as of 16:46, 20 December 2012

5th Rodin Users' and Developers' 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