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

Doctoral Symposium

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 in the Doctoral Symposium.

ABZ 2027 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 assessment
• Future work

Accepted papers are planned to appear in the Springer LNCS proceedings. The page limits (including references and all appendices) for the final version of the doctoral symposium papers is 5 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.