20.02.21
Deadline extended
The deadline for all kinds of papers has been extended!
We welcome new and updated contributions until 01.03.21 via EasyChair.
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.
The deadline for all kinds of papers has been extended!
We welcome new and updated contributions until 01.03.21 via EasyChair.
Due to the ongoing global situation of the COVID-19 pandemic, the Organizing Committee of ABZ2021 has taken the decision to run the conference fully virtually at the scheduled dates from 07.-11.06.2021. We will soon let you know about the platform and tools we will use. Until then stay healthy and we are looking forward to your contributions via EasyChair.