ABZ 2027 – 13th International Conference on Rigorous State Based Methods

Call for papers

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.

ABZ 2027 will have a main conference track, a case study track, a doctoral symposium, tutorials and workshops.

• Main Track
• Case Study
• Doctoral Symposium
• Tutorials and Workshops

Accepted papers are planned to appear in the Springer LNCS proceedings.

Submission Process

Submit contribution


via EasyChair

Authors should consult Springer Authors Guidelines and use their proceedings templates. Springer encourages authors to include their ORCIDs in their papers. Authors should also check Springer Authors Code of Conduct

The corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made.

Authors interested in contributing in Open Access or Open Choice should refer to the corresponding Springer webpage.