ABZ: Abstract State Machines, Alloy, B and Z

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2025 or later   |   Invite the Organizers Email

 
 

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 2018 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018
Jun 5, 2018 - Jun 8, 2018 Southampton, UK Feb 5, 2018 (Jan 29, 2018)
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

IEEE-Ei/Scopus-ITCC 2025   2025 5th International Conference on Information Technology and Cloud Computing (ITCC 2025)-EI Compendex
Call for Chapters - Wiley-IEEE Press 2024   Internet of Things A to Z: Technologies and Applications - Second Edition
EEI 2024   10th International Conference on Emerging Trends in Electrical, Electronics & Instrumentation Engineering
LM 2025   Living Machines 2025: The 14th International Conference on Biomimetics and Biohybrid Systems
MAT 2024   10th International Conference of Advances in Materials Science and Engineering
NEH Med Hum 2025   National Endowment for the Humanities Medical Humanities Conference
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
eHPWAS 2024   WiMob - eHPWAS’24 - e-Health Pervasive Wireless Applications and Services - Rank B
IEMDC 2025   IEEE International Electric Machines & Drives Conference (IEMDC) 2025
SIGML 2025   6th International Conference on Signal Processing and Machine Learning