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.
(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/).
Related approaches using behavioural/intesional types to characterize computational properties.
Site by Mauro Piccolo; CSS by CSS Templates.