ITRS 2010 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches.


  • Title and brief abstract description: April 19th
  • Full extended-abstract (in PDF) submission: April 21th
  • Author notification: May 12
  • Abstract, final version due: June 10
  • Workshop: June 29
  • EPTCS Post-proceedings Submission: before September 30th, 2012


The submission is in two stages.

(1) Before the workshop, authors are invited to submit an extended abstract (approximatively 3-5 pages, max. 10 pages) in PDF format: go to the  EASYCHAIR-ITRS2012 and follow the instruction there. Submissions must be prepared in LaTeX using the EPTCS macro package (
Accepted papers will be presented at the workshop and included in the preliminary proceedings, which will made available in electronic form.
(2) After the workshop, authors of accepted papers will be invited to submit full versions, which will be referred for inclusion in final post-proceedings. We will publish post-proceedings in Electronic Proceedings in Theoretical Computer Science (EPTCS). Submissions must be prepared in LaTeX using the EPTCS macro package (


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 for programming languages.
  • Applications for other areas, such as database query languages and program extraction from proofs.
  • Related approaches using behavioural/intesional types to characterize computational properties.



For further information, please contact
Luca Paolini