PLConferences
All events

Conference

ITP

’26
International Conference on Interactive Theorem Proving
Lisbon, PortugalJuly 26 – 29, 2026
  • Theorem Proving
  • Proof Assistants

Dates & Deadlines

Official page
  • AbstractFeb 12passed
  • PaperFeb 19passed
  • NotificationApr 26passed
  • Camera-readyMay 24passed

Part of

Last updated May 17, 2026