# ITRS 2012

Sixth Workshop on Intersection Types and Related Systems 2012

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.

### IMPORTANT DATES

- 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

### SUBMISSION

#### 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 ( http://style.eptcs.org/ ).
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 ( http://style.eptcs.org/ ).

### TOPICS

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.

### PROGRAM COMMITTEE

- Stéphane Lengrand (École Polytechnique)
- Koji Nakazawa (Kyoto Univ.)
- Luke Ong (Oxford Univ.)
- Luca Paolini (Univ. Torino), chair

### INFORMATION

For further information, please contact
Luca Paolini
Email: [EMAIL REDACTED]