ABZ 2024 – 10th 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 for PhD students 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 2024 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 2024 in Open Access or Open Choice should refer to the corresponding Springer webpage.
Submit contribution
via EquinOCS
EquinOCS guidelines for authors can be found here
Important Dates
| Paper submission: | February 24, 2024 |
| Notification: | |
| Final version: | April 20, 2024 |