Conference

ITP

’25

International Conference on Interactive Theorem Proving

Reykjavik, IcelandSeptember 27 – October 3, 2025

Proof Assistants
Theorem Proving

Dates & Deadlines

AbstractMar 12passed
PaperMar 19passed
NotificationMay 23passed
Camera-readyJun 27passed

Last updated May 17, 2026