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
Klaus Havelund – NASA’s Jet Propulsion Laboratory, California Institute of Technology, USA
Joost-Pieter Katoen – RWTH Aachen University, Germany

Kim Larsen – Aalborg University, Denmark
Dates

June 14, 2025 (AOE)

Abstract submission deadline

June 21, 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"

Partners & Sponsors (TBA)