ABZ: Abstract State Machines, Alloy, B and Z

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2025 or later

 
 

All CFPs on WikiCFP

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
 
 

Present CFP : 2024

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.
 

Related Resources

VMCAI 2026   Verification, Model Checking and Abstract Interpretation
Ei/Scopus-ITCC 2026   2026 6th International Conference on Information Technology and Cloud Computing (ITCC 2026)
ICSICT 2026   2026 IEEE 18th International Conference on Solid-State and Integrated Circuit Technology (ICSICT)
Ei/Scopus-CMLDS 2026   2026 3rd International Conference on Computing, Machine Learning and Data Science (CMLDS 2026)
CIMA 2025   Congress on Intelligent Machines and Algorithms
ICIAI 2026   2026 the 10th International Conference on Innovation in Artificial Intelligence (ICIAI 2026)
CMC 2026   Comics and Machines 2026
IEEE ICRAI 2025   IEEE--2025 11th International Conference on Robotics and Artificial Intelligence (ICRAI 2025)
VMIL 2025   2025 Workshop on Virtual Machines and Language Implementations
EE HPC SOP 2026   6th edition of Full-day Workshop on “Energy Efficient High Performance Computing State of the Practice”