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
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
LM 2025   Living Machines 2025: The 14th International Conference on Biomimetics and Biohybrid Systems
SIGML 2025   6th International Conference on Signal Processing and Machine Learning
SSDBM 2025   37th International Conference on Scalable Scientific Data Management
ICMLT 2025   2025 10th International Conference on Machine Learning Technologies (ICMLT 2025)
NEH Med Hum 2025   National Endowment for the Humanities Medical Humanities Conference
SIPO 2025   9th International Conference on Signal, Image Processing
eHPWAS 2024   WiMob - eHPWAS’24 - e-Health Pervasive Wireless Applications and Services - Rank B