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

The event is cancelled

Due to the spread of the Covid-19 infection and the uncertaintity about the practicability of the University of Turin, we regrattably decided to cancel both TYPES and ITRS 2020 events.
For further information please contact the organizers.

Abstracts

Below is the link to the book of abstracts of the accepted talks: