News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

17 July 2021, Tenth Workshop on Intersection Types and Related Systems (ITRS 2021), Virtual

Date: Saturday 17 July 2021
Location: Virtual
Deadline: Monday 12 April 2021

ITRS workshops have been held every two years (with the exception of 2020). The ITRS 2021 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. Invited Speaker: Jeremy Siek (Indiana University Bloomington). ITRS 2021 is affiliated with FSCD.

Papers must be original and not previously published, nor submitted elsewhere. Papers should be prepared in LaTeX using the EPTCS macropackage and should be in the range of 3-16 pages, plus at most 2 pages of references. Submissions will be collected via EasyChair and reviewed by anonymous referees.

Please note that this newsitem has been archived, and may contain outdated information or links.