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

Important Dates

Below are the important submission and notification dates. All submission dates anywhere on earth.

Workshops/Tutorials

Please contact the organisers directly as soon as possible for workshop or tutorial proposals. There is no special call for workshops or tutorials this year.

Case Study Track

Abstract submission: February 3, 2025
Paper submission: February 10, 2025
Notification: March 29, 2025
Final version: April 9, 2025

Main Track

Abstract submission (mandatory): February 3, 2025
Paper submission (including research/short/industry/journal-first papers): February 10, 2025
Notification: March 29, 2025
Final version: April 9, 2025

Doctoral Symposium

Paper submission: February 24, 2025
Notification: March 29, 2025
Final version: April 9, 2025

Conference

Workshops and Tutorials (Düsseldorf, Germany) June 10, 2025
ABZ 2025 Conference (Düsseldorf, Germany) June 11-13, 2025