Alloy, ASM, B, VDM, TLA, and Z User Conference

Z User Group

since 2008: ZUM merged with the International Workshop on Abstract State Machines (ASM) to form ABZ

6th ABZ 2018: Southampton, UK

5th ABZ 2016: Linz, Austria

4th ABZ 2014: Toulouse, France

3rd ABZ 2012: Pisa, Italy

2nd ABZ 2010: Orford, QC, Canada

1st ABZ 2008: London, UK

17th ZUM 2007: Auckland, New Zealand

16th ZUM 2006: Columbia, MD, USA

4th ZB 2005: University of Surrey, Guildford, UK

3rd ZB 2003: Turku, Finland

2nd ZB 2002: Grenoble, France

1st ZB 2000: York, UK

11th ZUM 1998: Berlin, Germany

10th ZUM 1997: Reading, UK

9th ZUM 1995: Limerick, Ireland

8th Z User Workshop 1994: Cambridge, UK

7th Z User Workshop 1992: London, UK

6th Z User Workshop 1991: York, UK

5th Z User Workshop 1990: Oxford, UK

maintained by Schloss Dagstuhl LZI, founded at University of Trier