PLConferences
All events

Conference

TYPES

’26
International Conference on Types for Proofs and Programs
Gothenburg, SwedenMay 4 – 8, 2026
  • Types
  • Proof Assistants

Dates & Deadlines

Official page
  • PaperJan 20passed
  • NotificationFeb 20passed
  • Camera-readyApr 3passed

Last updated May 17, 2026