At TYPES 2026 in Gothenburg it has been announced that the next edition, TYPES 2027, will take place in Udine, organised by our lab.

TYPES is the oldest conference on all aspects of type theory and its applications, and the lab has a long tradition in this community: Udine already hosted TYPES 2007 in Cividale del Friuli. Marino Miculan has also joined the Steering Committee of the conference. Stay tuned for the call for contributions!