ABZ 2026 – 12th International Conference on Rigorous State Based Methods

Case Study: Planetary Rover - Call for Papers

As successfully practiced in previous editions of ABZ, the 12th edition of ABZ will include again special sessions dedicated to a shared 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.

The case study is about an autonomous planetary rover.

Repository for Detailed Specification

All the pdf versions of the specification document are available here (we keep track of all the changes in the documents): https://github.com/trarse-nii/ABZ2026-case-study. The current version is v1 of the specification document.

All the questions and doubts can be discussed here: https://github.com/trarse-nii/ABZ2026-case-study/issues

If you have any question/comment on the case study, you can contact Marie Farrell1 and Tsutomu Kobayashi: marie.farrel (AT) manchester.ac.uk, kobayashi.tsutomu (AT) jaxa.jp

Call for Case Study Papers

Case study papers are full papers reporting on the experiments conducted with any of the state based techniques in the scope of ABZ 2026 case study. A paper of no more than 16 pages (excluding references) in LNCS format is expected and will be reviewed.

Important Dates

Abstract submission: February 9, 2026 AOE
Paper submission: February 16, 2026 AOE
Notification: March 13, 2026
Final version: March 23, 2026

Submission Process

Accepted papers will appear in the Springer LNCS proceedings.

Page limits (including references and all appendices) for the final versions are 18 pages for case study papers.

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 to ABZ 2026 in Open Access or Open Choice should refer to the corresponding Springer webpage.

Submit contribution


via easychair