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 Farrell and Tsutomu Kobayashi: marie.farrell (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.