Also available as pdf.
Important Dates
| Abstract submission | March 28 April 11, 2014 |
| Paper submission | March 31 April 14, 2014 |
| Author notification | April 28, 2014 |
| Final version | May 29, 2014 |
Submission web site:
https://www.easychair.org/conferences/?conf=itrs2014
Aims and Scope
The ITRS 2014 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 for programming languages.
-
Applications for other areas, such as database query languages and program extraction from proofs.
-
Related approaches using behavioural/intensional types to characterize computational properties.
Paper Submissions
Before the workshop, authors are invited to submit an extended abstract (max. 10 pages) in PDF format. We recommend using the EPTCS macro package to prepare submssions. Accepted papers will be included on the general VSL’14 Proceedings USB-stick.
After the workshop, authors of accepted papers will be invited to submit full versions (we foresee inclusion in EPTCS).
Program Committee
- Moritz Martens (Technical University Dortmund)
- Luca Paolini (Dip. Informatica - Universita di TORINO)
- Frank Pfenning (Carnegie Mellon University)
- Jakob Rehof (University of Dortmund) - chair
- Takeshi Tsukada (Oxford University)
- Pawel Urzyczyn (University of Warsaw, Institute of Informatics)
- Joe Wells (Heriot-Watt University)
- Zhiwu Xu (PPS, Paris 7 and SKLCS, ISCAS)