| Event | When | Where | Deadline |
| ABZ 2024 |
Abstract State Machines, Alloy, B and Z |
| Jun 25, 2024 - Jun 28, 2024 |
Bergamo, Italy |
Feb 10, 2024 (Feb 3, 2024) |
| ABZ 2023 |
Abstract State Machines, Alloy, B and Z |
| May 30, 2023 - Jun 2, 2023 |
Nancy, France |
TBD |
| ABZ 2021 |
ABZ 2021: 8th International Conference on Rigorous State Based Methods |
| Jun 7, 2021 - Jun 11, 2021 |
Ulm |
Feb 22, 2021 (Feb 15, 2021) |
| ABZ 2020 |
ABZ 2020 – 7th International Conference on Rigorous State Based Methods |
| May 27, 2020 - May 29, 2020 |
Ulm, Germany |
Jan 20, 2020 (Jan 13, 2020) |
| ABZ 2012 |
3rd International ABZ 2012 Conference: Abstract State Machines (ASM), Alloy, B, VDM, Z |
| Jun 18, 2012 - Jun 22, 2012 |
CNR, Pisa, Italy |
Jan 14, 2012 (Feb 3, 2012) |
| ABZ 2010 |
ABZ 2010 Conference Abstract State Machines (ASM), Alloy, B and Z |
| Feb 23, 2010 - Feb 25, 2010 |
Orford, Québec, Canada |
Sep 21, 2009 |
|
|
The ABZ conference is dedicated to the cross-fertilization of state-based and machine-based formal methods, like Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The conference aims for a vital exchange of knowledge and experience among the research communities around different formal methods.
|
