Tutorial
Confirmed Tutorial Speakers
Dines Bjørner – Professor Emeritus, Technical University of Denmark (DTU), Denmark
Title: Domain Analysis and Description
Antoine Girard – University Paris‑Saclay, CNRS, CentraleSupélec, France
Title: Symbolic control of nonlinear systems – safety, optimization and learning
Joost‑Pieter Katoen – RWTH Aachen University, Germany
Title: Verifying Probabilistic Programs: From Theory to Automation
Kim G. Larsen – Aalborg University, Denmark
Title: Model Checking, Performance Analysis, Synthesis and Learning for Cyber-Physical Systems
Upon request, certificates will be issued to confirm participation in the tutorials.
Dates
June 14, July 03 July 09, 2025 (AOE)
Abstract submission deadline
June 21 July 09, 2025 (AOE)
Paper submission deadline
August 30, 2025
Accept/Reject notification
September 15 September 20, 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"