4th Workshop on Intersection Types and Related Systems (ITRS '08)

Fundamenta Informaticae: special issue on Intersection Types and Related Systems - Call for papers  [.pdf

ITRS '08 took place on Tuesday, 25 March  2008 in Turin, Italy. It is a TYPES Project small workshop and was collocated with TYPES 2008,  which ran from 26 to 29 March  2008.

Important Dates

Submission of extended abstracts: Friday, February 8, 2008
Notification of acceptance:            Friday, February 15, 2008
Final version:                                Wednesday, March 12, 2008 

Workshop:                                   Tuesday, March 25, 2008


 Rettorato, Via Po 17, ground floor, left-hand side of the main yard, room Principi di Acaia

Important Links

Topic and Purpose

Types support reliable reasoning in many areas such as logic, programming languages, linguistics, etc. Intersection types were introduced near the end of the 1970s to overcome the limitations of Curry's type assignment system and to provide a characterization of the strongly normalizing terms of the Lambda Calculus.

A polymorphic type stands for some number of instance types, and the use of type systems for non-trivial purposes generally requires polymorphic types. In this context, roughly speaking, intersection types could be seen as 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 '08 workshop will be 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.). It will continue a sequence of successful workshops held in Geneva (2000), Copenhagen (2002) and Turku (2004).

Post-workshop Proceedings

The proceedings of ITRS'00 were published by Carleton Scientific. The proceedings of ITRS'02 and ITRS'04 were published by Elsevier in the Electronic Notes in Theoretical Computer Science series.

A special issue on intersection types of the journal Fundamenta Informaticae will be published.

Registration fee

EARLY REGISTRATION (before February 17)
50 Euro for participants who have registered for TYPES 2008
70 Euro for participants who haven't registered for TYPES 2008

LATE REGISTRATION (after February 17)
70 Euro for participants who have registered for TYPES 2008
90 Euro for participants who haven't registered for TYPES 2008

Program Committee

Steffen van Bakel (Imperial College, London, UK)
Franco Barbanera (Università degli Studi di Catania, Italia)
Daniel Dougherty (Worcester Polytechnic Institute, USA)
Silvia Ghilezan (Chair)     (Univerzitet u Novom Sadu, Serbia)
Pierre Lescanne (École Normale Supérieure de Lyon, France)
Ugo de'Liguoro (Università di Torino, Italy)
Yiorgos Stavrinos (University of Athens,Greece)
Pawel Urzyczyn (Uniwersytet Warszawski, Poland)
Joe Wells (Heriot-Watt University, Edinburgh, Scotland)

Steering Committee

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