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:
- Formal properties of systems with intersection types.
- Results for related systems, such as union types, refinement types, or singleton types.
- Applications to lambda calculus and similar systems.
- Applications to pi-calculus and similar systems.
- Applications to programming languages and program verification.
- Applications to other areas, such as database query languages and program extraction from proofs.
- Related approaches using behavioural/intensional types to characterize computational properties.
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.
- 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.
- 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