ITRS
Intersection Types and Related Systems
The ITRS workshops are held to bring together researchers working on both the theory and practice of systems with intersection types and related systems (e.g., union types, refinement types, etc.).
ITRS 2024:
11th Workshop on Intersection Types and Related Systems
9 July 2024, Tallinn, Estonia
Affiliated with FSCD 2024, 10-13 July 2024
Past Events
- ITRS 2000 was colocated with ICALP 2000 in Geneva, Switzerland.
- ITRS 2002 was colocated with LICS 2002 (part of FLoC 2002) in Copenhagen, Denmark.
- ITRS 2004 was colocated with the joint meeting of ICALP 2004 and LICS 2004 in Turku, Finland.
- ITRS 2008 was colocated with TYPES 2008 in Torino, Italy.
- ITRS 2010 has been colocated with LICS 2010 (as part of FLoC 2010) in Edinburgh, Scotland.
- ITRS 2012 has been colocated with LICS 2012 (as part of FLoC 2012) in Dubrovnik, Croatia.
- ITRS 2014 has been colocated with RTA-TLCA 2014 (as part of VSL 2014) in Vienna, Austria.
- ITRS 2016 has been colocated with FSCD 2016 in Porto, Portugal.
- ITRS 2018 has been colocated with FLOC 2018 in Oxford, Great Britain.
- ITRS 2021 has been colocated with FSCD 2021 in Buenos Aires, Argentina (held online).