Please note that this newsitem has been archived, and may contain outdated information or links.
2 - 5 March 2020, 26th International Conference on Types for Proofs and Programs (TYPES 2020), Torino, Italy
The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The ITRS 2020 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. Part of the program is organised under the auspices of EUTypes.
Invited speakers: Ulrik Buchholtz, Pierre Marie-Pédrot, Leonardo de Moura and Sara Negri.
We solicit contributed talks. We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Selection will be based on extended abstracts/short papers of 2 pp (not including bibliography) formatted with easychair.cls. Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution at the workshop.
Please note that this newsitem has been archived, and may contain outdated information or links.