PLConferences
All events

TYPES

’27
International Conference on Types for Proofs and Programs
ConferenceUdine, ItalyJune 7 – 11, 2027
  • Types
  • Proof Assistants

Dates & Deadlines

Official page
  • AbstractFeb 194mo
  • NotificationMar 225mo
  • Camera-readyApr 306mo

Last updated Oct 23, 2026