TYPES-ITRS 2020

26th International Conference on Types for Proofs and Programs 2-5 March

10th Workshop on Intersection Types and Related Systems 6 March

Venue

TYPES 2020 will be hosted in Cavallerizza Reale - Aula Magna, Università di Torino
Via Giuseppe Verdi, 9, 10124 Torino TO

Accommodation

You can find a .pdf list of hotels that are near the conference venue here.
For other solutions you can look at: