ITRS 2016:
Eighth Workshop on Intersection Types and Related Systems

26 June 2016, Porto

Affiliated with FSCD 2016

Program   Call for Papers (html,   Text in UTF-8,   ASCII file (without accent symbols))

Aims and Scope

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. The key idea is to introduce an intersection type constructor ∧ such that a term of type t ∧ s can be used at both type t and s within the same context. This provides a finite polymorphism where various, even unrelated, types of the term are listed explicitly, differently from the more widely used universally quantified types where the polymorphic type is the common schema which stands for its various type instances. As a consequence, more terms (all and only the normalizing terms) can be typed than with universal polymorphism.

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 the research on intersection types and related systems has broadened in many directions. Restricted (and more manageable) forms have been investigated, such as refinement types. Type systems based on intersection type theory have been extensively studied for practical purposes, such as program analysis and higher-order model checking. The dual notion of union types turned out to be quite useful for programming languages. Finally, the behavioural approach to types, which can give a static specification of computational properties, has become central in the most recent research on type theory.

The ITRS 2016 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. Possible topics for submitted papers include, but are not limited to:

ITRS workshops have been held every two years; Information about the previous events is available at the ITRS home page.

Paper Submissions

Authors are invited to submit an extended abstract (max. 10 pages) in PDF format, through EasyChair. We recommend using the EPTCS macro package to prepare submissions. Informal proceedings will be made available at the workshop. As in the previous events, post-proceedings is planned to be published in EPTCS.

Invited Speaker

Michele Pagani (Université Paris Diderot, France)
Kazushige Terui (Kyoto University, Japan)

Important Dates

Abstract submission: 28 March, 2016
Paper submission: 31 March, 2016
Author notification: 28 April, 2016
Final version: 29 May, 2016
Workshop: 26 June, 2016


Program Committee

Steffen van Bakel (Imperial College, UK)
Giuseppe Castagna (CNRS, Université Paris Diderot, France)
Joshua Dunfield (University of British Columbia, Canada)
Naoki Kobayashi (University of Tokyo, Japan), chair
Jakob Rehof (University of Dortmund, Germany)
Simona Ronchi Della Rocca (Università di Torino, Italy)
Sylvain Salvati (INRIA Bordeaux, France)
Paweł Urzyczyn (University of Warsaw, Poland)

Steering Committee

Mariangiola Dezani-Ciancaglini (Università di Torino, Italy)
Jakob Rehof (University of Dortmund, Germany)
Joe Wells (Heriot-Watt University, Scotland)