Conferences

This site lists all events starting from the very first ABZ 2008 in London. For more detailed information including links to the original conference website (if available) just click on a title.

ABZ 2025 (Düsseldorf, Germany)

11th International Conference on Rigorous State-Based Methods

ABZ 2024 (Bergamo, Italy)

10th International Conference on Rigorous State-Based Methods

ABZ 2023 (Nancy, France)

9th International Conference on Rigorous State-Based Methods

ABZ 2021 (Ulm, Germany)

8th International Conference on Rigorous State-Based Methods

ABZ 2020 (Ulm, Germany)

7th International Conference on Rigorous State-Based Methods

ABZ 2018 (Southampton, UK)

6th International Conference on ASM, Alloy, B, TLA, VDM, and Z

ABZ 2016 (Linz, Austria)

5th International Conference on ASM, Alloy, B, TLA, VDM, and Z

ABZ 2014 (Toulouse, France)

4th International Conference on ASM, Alloy, B, TLA, VDM, and Z

ABZ 2012 (Pisa, Italy)

3rd International Conference on ASM, Alloy, B, VDM, and Z

ABZ 2010 (Orford, Canada)

2nd International Conference on ASM, Alloy, B, and Z

ABZ 2008 (London, UK)

1st International Conference on ASM, B, and Z