Gli eventi TYPES si pongono come forum durante i quali presentare e confrontarsi sulle nuove ricerche e sugli studi in corso che coinvolgono un qualsiasi aspetto della teoria e delle sue applicazioni, con particolare riferimento alla programmazione e alla teoria formale. 

 

 

Nel 2020 TYPES si svolge dal 2 al 6 marzo presso la Cavallerizza Reale di Torino ed è così composto:

 

26th International Conference on Types for Proofs and Programs 

 

10th Workshop on Intersection Types and Related Systems 

 

EVENTO ANNULLATO