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

SAS 2023   Static Analysis Symposium
Machines - SI 2023   Special Issue - Advances in Digital Twin Technology in the Manufacturing Field
MDA 2024   19th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biomet
Political Theology and the State of Exce 2023   NEW DEADLINE FOR SUBMISSIONS: CALL FOR PAPERS - Political Theology and the State of Exception: Critical readings on the centenary of Political Theology & Roman Catholicism and Poli
Failed State 2023   Deadline Extended - Call for Papers - Failed State: Boundaries, Current Cases, Practical Issues
RATIO 2023   The 1st International Conference on Robust Argumentation Machines
FCCM 2023   Field-Programmable Custom Computing Machines
SIoT 2023   2023 Symposium on Internet of Things
IFToMM WC 2023   IFToMM World Congress
eHPWAS 2023   WiMob - eHPWAS’23 - e-Health Pervasive Wireless Applications and Services - Rank B