ABZ 2025 – 11th International Conference on Rigorous State Based Methods

Doctoral Symposium - Call for Papers

The ABZ PhD Symposium is an international forum for PhD students studying all areas related to state based formal methods for software and system development.

This forum is a good opportunity to

  • bring together PhD students and established and known researchers of the state based formal methods community,
  • provide PhD students with fruitful feedback and advice on their research approach,
  • enable PhD students to interact with other PhD students and to stimulate exchange of ideas suggestions and experiences among participants,
  • provide PhD students an opportunity to present, share and discuss their research in a constructive and critical atmosphere.

We seek PhD students who have either determined the direction of their thesis research (probably with some preliminary results already published), but who still have substantial work to complete, or PhD student participants who are in the early stages of their dissertations. It is not required to have a paper accepted for the main conference in order to participate to the ABZ 2024 Doctoral Symposium.

ABZ 2025 invites:

  • Contribution to doctoral symposium: This is an excellent opportunity for PhD students to present their ongoing work and receive valuable feedback from the ABZ community. A paper of no more than 4 pages (excluding references) in LNCS format is expected and will be reviewed.

Preferably, submissions should include

  • Title of the paper and the author name
  • Problem statement, motivations, and progress
  • Current development and related work
  • Proposed solutions, approach and methodology, and their significance
  • Current results and assessement
  • Future work

Accepted papers will be published in the Springer LNCS proceedings.

Submission Process

Authors should consult Springer’s authors' guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers.Springer encourages authors to include their ORCIDs in their papers. In addition, 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 2025 in Open Access or Open Choice should refer to the corresponding Springer webpage.

Submit contribution


via EquinOCS

Important Dates (tentative)
Paper submission: February 2025
Notification: April 2025
Final version: April 2025