4th International ABZ 2014 Conference

ASM, Alloy, B, TLA, VDM, Z
June 2 - 6 2014
Toulouse - France

https://www.irit.fr/ABZ2014/


For paper submission, please contact the workshop Organizers.

1. TLA 2014: Meeting of the TLA+ Community
June 3rd, 2014
http://tla2014.loria.fr/

Workshop organizers
- Leslie Lamport, Microsoft Research Silicon Valley, Mountain View, CA U.S.A.
- Stephan Merz, INRIA Nancy - Grand Est, Nancy, France
- Philippe Queinnec, INPT-ENSEEIHT/IRIT, Toulouse, France

Email contact address: tla2014@loria.fr




2. Rodin User and Developer Workshop at ABZ 2014 (2 days)
June 2nd, 3rd, 2014
http://wiki.event-b.org/index.php/Rodin_Workshop_2014

Workshop organizers
- Michael Butler, University of Southampton, UK (mjb@ecs.soton.ac.uk)
- Stefan Hallerstede, University of Aarhus, Denmark (sha@iha.dk)
- Thierry Lecomte, ClearSy, France (thierry.lecomte@clearsy.com)
- Michael Leuschel, University of Dusseldorf, Germany (leuschel@cs.uni-duesseldorf.de)
- Alexander Romanovsky, University of Newcastle, UK (Alexander.Romanovsky@newcastle.ac.uk)
- Marina Walden, - Aabo Akademi Laurent Voisin, Systerel, France (laurent.voisin@systerel.fr)


3. 1st International Workshop about Sets and Tools (SETS)
June 3rd, 2014
http://sets2014.cnam.fr/

Workshop organizers
- David Delahaye, Cnam, Paris, France (David.Delahaye@cnam.fr)
- Catherine Dubois, Ensiie, Evry, France (dubois@ensiie.fr)





For further information related to workshop organisation, please contact the workshop chairs.
- Lugia Petre, University of Turku, Turku, Finland (Lugia.Petre@abo.fi)
- Patrizia Scandurra, University of Bergamo, Italy (patrizia.scandurra@unibg.it))
- Alexander Romanovski, University of Newcastle, Newcastle, United Kingdom (alexander.romanovsky@newcastle.ac.uk)