ABZ 2021 – 8th International Conference on
Rigorous State Based Methods (virtual)

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.

Due to the worldwide spread of the coronavirus SARS-CoV-2 the ABZ 2020 was postponed to 2021. Nevertheless, all accepted contributions to ABZ 2020 have been published as Springer LNCS volume. Most of them will be presented at ABZ 2021 additionally to the new contributions as answers to the call for papers for ABZ 2021.



Program and Participation links online

The program of the different events is online!

  • Monday, 07.06.21
    Colloquium on the Occasion of Egon Börger's 75th Birthday
  • Tuesday, 08.06.21
    • 9th Rodin User and Developer Workshop (9:00 - 15:00)
    • Using B to program the CLEARSY Safety Platform (15:30 - 17:30)
    • Implementing Domain-Specific Languages with JetBrains MPS (9:00 - 12:30)
  • Wednesday to Friday, 09.-11.06.21
    Main Conference ABZ 2021

ABZ 2021 for free

Thanks to our sponsor, Elektrobit, ABZ 2021 (online) will be completely free of charge. For participation, click here!

Past Editions

ABZ 2020 (Ulm, Postponed due to Corona)
ABZ 2018 (Southampton)
ABZ 2016 (Linz)
ABZ 2014 (Toulouse)
ABZ 2012 (Pisa)
ABZ 2010 (Orford)
ABZ 2008 (London)