Skip to content

TYPES 2027 Udine · 7-11 June 2027

Home
About TYPES
Call for contributions
Committees
Programme
Registration
Practical information

Invited speakers

The invited lectures of TYPES 2027.

to be announced

The invited speakers will be announced well before the abstract submission deadline.

TYPES 2027

33rd International Conference on Types for Proofs and Programs
Udine, Italy · 7-11 June 2027

Hosted by Università degli Studi di Udine

Contact

types2027@uniud.it

Practical information

Previous editions

TYPES 2026, Gothenburg
TYPES 2025, Glasgow
TYPES 2024, Copenhagen

© 2026 TYPES 2027. Built with Jekyll.