Important Dates/Deadlines

Submission of papers (NEW): Sunday, 23 May 2004

Notification of acceptance: Monday, 31 May 2004

Workshop: Tuesday, 13 July 2004

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 (coppo@di.unito.it).

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.).