ABZ 2024 – 10th International Conference on Rigorous State Based Methods

Important Dates

All dates anywhere on earth

Workshops/Tutorials

Workshop proposal submission: December 01, 2023
Workshop notification: December 15, 2023
Tutorial proposal submission: March 16, 2024

Case Study Track

Abstract submission (mandatory): February 3, 2024 February 10, 2024
Paper submission (firm deadline): February 10, 2024 February 24, 2024
Notification: April 6, 2024
Final version: April 20, 2024

Main Track

Abstract submission (mandatory): February 3, 2024 February 10, 2024
Paper submission (firm deadline, including research/short/industry/journal-first papers): February 10, 2024 February 24, 2024
Notification: April 6, 2024 April 9, 2024
Final version: April 20, 2024

Doctoral Symposium

Paper submission: February 24, 2024
Notification: April 6, 2024
Final version: April 20, 2024

Conference

Workshps and Tutorials (Bergamo, Italy) June 25, 2024
ABZ 2024 Conference (Bergamo, Italy) June 26-28, 2024