Tutorial
Confirmed Tutorial Speakers
Joost‑Pieter Katoen – RWTH Aachen University, Germany
Kim G. Larsen – Aalborg University, Denmark
Dines Bjørner – Professor Emeritus, Technical University of Denmark (DTU), Denmark
Antoine Girard – University Paris‑Saclay, CNRS, CentraleSupélec, France
Granting of ETCS points is currently under negotiation
Dates
June 14 July 03, 2025 (AOE)
Abstract submission deadline
June 21 July 09, 2025 (AOE)
Paper submission deadline
August 30, 2025
Accept/Reject notification
September 15, 2025 (AOE)
Camera-ready submission
November 24-28, 2025
Conference dates
Proceedings
All accepted papers will be published in Springer's LNCS in on-site proceedings "Lecture Notes in Computer Science"