Workshop on Intersection Types and Related Systems (ITRS '04)

ITRS '04 will occur on Tuesday, 13 July 2004 at the University of Turku, Finland. It is colocated with ICALP 2004 / LICS 2004 , the Joint Meeting of

Workshop program (last update: July 8)

Important Dates/Deadlines

Given the very short delay between the dates for submission and for notification of acceptance, authors are asked to submit versions of their articles suitable for distribution at the workshop. Authors are strongly encouraged to submit papers before the deadline for submission.

For any question please mail to Mario Coppo (

The accepted papers will be available at the workshop as a volume of Turku Centre for Computer Science (TUCS) series. We are also planning to publish the workshop proceedings in ENTCS series, as a volume on its own, or together with other workshops, depending on the number of received papers. In this case the authors will be asked to provide a revised version of the paper.

Important Links

Topic and Purpose

Types support reliable reasoning in many areas such as programming languages, logic, linguistics, etc. A polymorphic type stands for some number of instance types. The use of type systems for non-trivial purposes generally requires polymorphic types.

Intersection types were introduced roughly twenty years ago to provide type polymorphism by listing type instances. This differs from the more widely used "forall"-quantified types, which provide type polymorphism by giving a type scheme that can be instantiated into various type instances. (A similar relationship holds between union types and existential types, the duals of intersection types and universal types.)

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 theoretical research on intersection types has broadened. Recently, there have been a number of breakthroughs in the use of intersection types (and similar technology) for practical purposes such as program analysis.

The ITRS '04 workshop aims 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.).

Program Committee

Fabio Alessi (UniversitÓ di Udine, Italy)
Torben Amtoft (Kansas State University, USA)
Steffen van Bakel (Imperial College, UK)
GÚrard Boudol (INRIA Sophia Antipolis, France)
Mario Coppo (Chair) (UniversitÓ di Torino, Italy)
Ferruccio Damiani (UniversitÓ di Torino, Italy)
Assaf J. Kfoury (Boston University, USA)
Frank Pfenning (Carnegie Mellon University, USA)

Steering Committee

Mariangiola Dezani-Ciancaglini (UniversitÓ di Torino, Italy)
Joe Wells (Chair) (Heriot-Watt University, Edinburgh, Scotland)