Please note that this newsitem has been archived, and may contain outdated information or links.
6 March 2020, 10th Workshop on Intersection Types and Related Systems (ITRS 2020), Torino, Italy
Intersection types were introduced near the end of the 1970s to overcome the limitations of Curry's type assignment system and to provide a characterization of the strongly normalizing terms of the Lambda Calculus.
Although intersection types were initially intended for use in analyzing and/or synthesizing lambda models as well as in analyzing normalization properties, over the last twenty years the scope of the research on intersection types and related systems has broadened in many directions.
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. ITRS workshops have been held every two years.
Authors are invited to submit an abstract (2 pages bibliography excluded) in PDF format, through EasyChair. Publishing of a full paper is planned in post-proceedings to appear in EPTCS (pending approval), therefore we recommend using the EPTCS macro package to prepare submissions. Informal proceedings will be made available at the workshop.
Please note that this newsitem has been archived, and may contain outdated information or links.