Dear users, the OCS will cease operation by the end of the year 2022. PC chairs of unfinished conferences should contact for further guidance.

Welcome to the conference service of ABZ2021

Info Icon

This is the main page of the conference. You are presented with a quick overview of the conference facts, as well as the current phases, if logged in. Furthermore you have direct access to actions relevant to the conference.

Your current actions

View papers View papers

With this action an overview of the currently submitted papers is presented to you. Furthermore you can see phase specific information and your possible paper-related actions.

Contact PC Chair Contact PC Chair

With this action you can contact the PC Chair via the internal message system.

Submit paper Submit paper

This conference is in the submission phase. With this action you can submit a paper directly.

Open the overview of your actions in a new page.

Furthermore you can consult the Howtos.

Name:International Conference on Rigorous State-Based Methods, ABZ 2021
Description: 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
PC Chairs:Alexander Raschke
Conference flow:Paper Submission: March 1, 2021 23:59 CET,
Paper Upload: March 1, 2021 23:59 CET,
Assignment of Reviewers: March 5, 2021 23:59 CET,
Review: March 25, 2021 23:59 CET,
Decision: March 29, 2021 23:59 CEST,
Final: April 12, 2021 23:59 CEST

  • View papers

    View papers

  • Contact PC Chair

    Contact PC Chair

  • Submit paper

    Submit paper