Invited Speakers
The ICTAC 2025 programme includes Keynote Lectures, given by distinguished researchers. Below is the list of confirmed keynote speakers.
Antoine Girard – University Paris‑Saclay, CNRS, CentraleSupélec, France
Title: Set Invariance for Assume-Guarantee Contracts in System Design
Klaus Havelund – NASA’s Jet Propulsion Laboratory, California Institute of Technology, USA
Title: Fuzz Testing with Temporal Constraints
Joost‑Pieter Katoen – RWTH Aachen University, Germany
Title: Facing Uncertainty in AI: From Verification To Synthesis
Kim G. Larsen – Aalborg University, Denmark
Title: Timed Monitoring and Monitorability
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"