| 2026 | 12 | Rigorous State-Based Methods - 12th International Conference, ABZ 2026, Tokyo, Japan, May 18-20, 2026, Proceedings | Tokyo | |
| 2025 | 11 | Rigorous State-Based Methods - 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings | Düsseldorf | |
| 2024 | 10 | Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings | Bergamo | |
| 2023 | 9 | Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings | Nancy | |
| 2021 | 8 | Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings | Ulm | |
| 2020 | 7 | Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings ABZ 2020 | Ulm | 2020-05-27/29 |
| 2018 | 6 | Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings ABZ 2018, ZUM | Southampton | 2018-06-05/08 |
| 2016 | 5 | Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings ZUM | Linz | 2016-05-23/27 |
| 2014 | | Alloy, ASM, B, VDM, TLA, and Z User Conference ZUM | Toulouse | 2014-06-02/06 |
| 2014 | 4 | ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings | Toulouse | |
| 2014 | 4 | Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings | Toulouse | |
| 2012 | | International Conference on Abstract State Machines, Alloy, B, VDM, and Z ABZ 2012, ABZ, ZUM | Pisa | 2012-06-18/21 |
| 2010 | | Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings ZUM | Orford | 2010-02-22/25 |
| 2008 | | Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings ABZ 2008, ZUM | London | 2008-09-16/18 |
| 2007 | | Alloy, ASM, B, VDM, TLA, and Z User Conference ZUM | Auckland | 2007-01-01 |
| 2006 | | Alloy, ASM, B, VDM, TLA, and Z User Conference ZUM | Columbia | 2006-01-01 |
| 2005 | | ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings ZUM | Guildford | 2005-04-13/15 |
| 2003 | | ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings B, ZB 2003, ZUM | Turku | 2003-06-04/06 |
| 2002 | | International Conference of B and Z Users B, ZB 2002, ZB | Grenoble | 2002-01-23/25 |
| 2000 | | ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings B, ZB 2000, ZUM | York | 2000-08-29 to 2000-09-02 |
| 1998 | 11 | ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings ZUM 1998, ZUM | Berlin | 1998-09-24/26 |
| 1997 | 10 | ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings ZUM | Reading | 1997-04-03/04 |
| 1995 | | International Conference of Z Users ZUM 1995, ZUM | Limerick | 1995-09-07/09 |
| 1994 | | Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings ZUM | Cambridge | 1994-06-29/30 |
| 1992 | | Z User Workshop, London, UK, 14-15 December 1992, Proceedings ZUM | London | 1992-12-14/15 |
| 1991 | | Z User Workshop, York, UK, 16-17 December 1991, Proceedings ZUM | York | 1991-12-16/17 |
| 1990 | | Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990 ZUM | Oxford | 1990-12-17/18 |
| 1989 | | Proceedings of the Fourth Annual Z User Meeting, Oxford, UK, December 15, 1989 Z User Workshop 1989, ZUM | Oxford | 1989-12-15 |
