ABZ: Abstract State Machines, Alloy, B and Z

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

Event When Where Deadline
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 : 2023

[Empty]
 

Related Resources

VMCAI 2022   Verification, Model Checking and Abstract Interpretation
VMCAI 2023   International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 15-17 January, Boston, Call for Papers
MDA AI&PR 2023   18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biometry and Security,
SIGMOD (CYCLE B) 2023   International Conference on Management of Data
EvoCompAISecurity&Privacy 2022   Evolutionary Computing for AI-Driven Security and Privacy: Advancing the state-of-the-art applications
IFToMM WC 2023   IFToMM World Congress
MDA AI&PR 2023   MDA AI&PR 2023 : 18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biomet
MPLR 2022   19th International Conference on Managed Programming Languages & Runtimes
Political Theology and the State of Exce 2023   REMINDER: Call for Papers - Political Theology and the State of Exception: Critical readings on the centenary of 'Political Theology' & 'Roman Catholicism and Political Form' by Ca
AISec 2023   Artificial Intelligence in Cybersecurity: The State of the art