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

6. ABZ 2018: Southampton, UK

5. ABZ 2016: Linz, Austria

4. ABZ 2014: Toulouse, France

3. ABZ 2012: Pisa, Italy

2. ABZ 2010: Orford, QC, Canada

1. ABZ 2008: London, UK

17. ZUM 2007: Auckland, New Zealand

16. ZUM 2006: Columbia, MD, USA

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

3. ZB 2003: Turku, Finland

2. ZB 2002: Grenoble, France

1. ZB 2000: York, UK

11. ZUM 1998: Berlin, Germany

10. ZUM 1997: Reading, UK

9. ZUM 1995: Limerick, Ireland

8. Z User Workshop 1994: Cambridge, UK

7. Z User Workshop 1992: London, UK

6. Z User Workshop 1991: York, UK

5. Z User Workshop 1990: Oxford, UK

maintained by Schloss Dagstuhl LZI at University of Trier