PLConferences
All events

TYPES

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

Notes

  • The call for papers has not been published yet.
  • Dates and location come from the TYPES series page; no 2027 website yet.

Last updated Sep 1, 2026