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

Case Study

As successfully practiced in previous editions of ABZ, the 13th edition of ABZ will again include special sessions dedicated to a shared real-life case study.

The objective of this session is to enrich the set of case studies ( https://abz-conf.org/case-studies/) developed with Rigorous State Based Methods with a practical and real-life case study. Its goal is also cross-fertilisation, enabling practitioners of the individual formal methods to better understand each other.

We explicitly invite you to also submit contributions to case studies from previous conferences, which substantially extend the solutions presented there in one aspect or another. Possible enhancements could be new proof techniques, more elegant modeling, generation, verification, or validation of executable code, etc.

The ABZ 2027 case study will be related to the 1961 UN Convention on the Reduction of Statelessness. More details can be found in the dedicated GitHub repository.

ABZ 2027 invites:

• Case study papers: Full papers reporting on the experiments conducted with any of the state based techniques in the scope of ABZ 2027 case study or previous case studies. A paper of no more than 16 pages (excluding references) in LNCS format is expected and will be reviewed.

Accepted papers are planned to appear in the Springer LNCS proceedings. The page limits (including references and all appendices) for the final version of case study papers is 18 pages.

Important Dates

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.