ABZ 2020 – 7th International Conference on
Rigorous State Based Methods
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.
For the first time, the ABZ conference will also include a Doctoral Symposium Track. The submission is still open!
This is an excellent opportunity for PhD students to present their ongoing research and receive valuable feedback from the ABZ community. More information can bei found here.
The 8th Rodin Workshop is colocated with ABZ 2020. It will take place one day before the start of the main conference on Tuesday, 26.05.20. More information can be found here.
- ABZ 2018 (Southampton)
- ABZ 2016 (Linz)
- ABZ 2014 (Toulouse)
- ABZ 2012 (Pisa)
- ABZ 2010 (Orford)