INTERSECTION TYPES AND RELATED SYSTEMS (ITRS 2016)

Call for Papers


ITRS 2016 (the Eighth Workshop on Intersection Types and Related Systems) will be held on 25 June, 2016, in Porto, in affiliation with FSCD 2016 (1st International Conference on Formal Structures for Computation and Deduction). 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:

Invited Speaker

Michele Pagani (Université Paris Diderot, France)

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

SUBMISSION AND PUBLICATION

The submission is in two stages.
  1. Before the workshop, authors are invited to submit an extended abstract (max. 10 pages) in PDF format through EasyChair (https://easychair.org/conferences/?conf=itrs2016). Accepted papers will be presented at the workshop and included in preliminary proceedings.
  2. After the workshop, authors of accepted papers will be invited to submit full versions, which will be refereed for inclusion in post-proceedings (which we plan to publish in EPTCS).

ORGANIZATION

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)

INFROMATION

For further information, please contact Naoki Kobayashi Email: koba AT is DOT s DOT u-tokyo DOT ac DOT jp