Jekyll2026-10-09T07:57:15+00:00https://types2027.uniud.it/feed.xmlTYPES 2027, the 33rd International Conference on Types for Proofs and Programs, will be held in Udine, Italy, on 7-11 June 2027.