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.

News

03.06.20
Proceedings of ABZ2020 Online

The Proceedings of the 7th International Conference on Rigorous State-Based Methods (ABZ2020) are available online. For a limited time of four weeks you have free access to all accepted contributions.

03.03.20
Registration Online

The registration for the conference and for the workshop/tutorials is open! We have also uploaded some information about recommended hotels in Ulm. At some hotels a contingent is reserved for the ABZ.

23.04.20
List of Accepted Papers Online

You can find a list of all 21 accepted main track papers and nine accepted workshop papers online. The conference proceedings will be available form mid July 2020.

03.03.20
Registration Online

The registration for the conference and for the workshop/tutorials is open! We have also uploaded some information about recommended hotels in Ulm. At some hotels a contingent is reserved for the ABZ.

02.03.20
Tutorial on ProB Jupyter Notebook Published

The tutorial on "ProB Jupyter Notebook" is colocated with ABZ 2020. It will take place in parallel to the workshop one day before the start of the main conference on Tuesday, 26.05.2020.

More information can be found here.

27.02.20
Tutorial on Implementing Domain-Specific Languages with JetBrains MPS published

The tutorial on "Implementing Domain-Specific Languages with JetBrains MPS" is colocated with ABZ 2020. It will take place in parallel to the workshop one day before the start of the main conference on Tuesday, 26.05.2020.

More information can be found here.

11.02.20
Call for Contributions to Doctoral Symposium published

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 be found here.


04.02.20
Call for Contributions to Rodin Workshop published

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.2020. More information can be found here.


Past Editions

ABZ 2018 (Southampton)
https://www.southampton.ac.uk/abz2018/
ABZ 2016 (Linz)
https://www.scch.at/en/rse-news/abz-2016
ABZ 2014 (Toulouse)
https://www.irit.fr/ABZ2014/
ABZ 2012 (Pisa)
http://ifm-abz.isti.cnr.it/page22/abzindex.html
ABZ 2010 (Orford)
https://www.springer.com/gp/book/9783642118104
ABZ 2008 (London)
https://www.springer.com/de/book/9783540876021

Patrons