CfP post-proceedings of ITRS 2021: Intersection Types & Related Systems

ITRS workshops have been held every two years (with the exception of 2020). The ITRS 2021 workshop aimed to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. We are planning post-proceedings, including presentations to the workshop and submissions accepted via an open call.

Papers should not be published elsewhere, with original results or surveying ongoing research. They should be written in English using LaTex and will appear on EPTCS. Submissions should be 20 pages long, excluding bibliography and avoiding technical appendices. Submissions are expected via EasyChair.