Call for Papers
4th Workshop on
Intersection Types and Related Systems (ITRS '08)
Turin, Italy
Tuesday, March 25, 2008
http://imft.ftn.ns.ac.yu/itrs08/
Co-located with TYPES 2008,
Types for Proofs and Programs Conference
Turin, Italy
(March 26 - 29, 2008)
http://www.di.unito.it/~stefano/types2008/
IMPORTANT DATES/DEADLINES:
Submission of extended abstracts: Friday, February 8 2008
Notification of acceptance: Friday, February 15 2008
Workshop: Tuesday, March 25 2008
OVERALL TOPIC AND FORMAT OF WORKSHOP:
Types support reliable reasoning in many areas such as logic,
programming languages, linguistics, etc. Intersection types
were introduced near the end of the 1970s to overcome the
limitations of Curry's type assignment system and to provide a
characterization of the strongly normalizing terms of the Lambda
Calculus. Although intersection types were initially intended for use
in analyzing and/or synthesizing lambda models as well as in analyzing
normalization properties, over the last twenty years the scope of
theoretical research on intersection types has broadened.
The ITRS '08 workshop will be held to bring together researchers
working on both the theory and practice of systems with intersection
types and related systems (e.g., union types, refinement types,
etc.). It will continue a sequence of successful ITRS workshops held
in Geneva (2000), Copenhagen (2002) and Turku (2004).
POSSIBLE TOPICS FOR SUBMITTED PAPERS:
* Formal properties of systems with intersection types.
* Results for clearly related systems such as systems with union
types, refinement types, or singleton types.
* Connections with not-so-clearly related approaches such as
static analysis.
* 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,
program extraction from proofs, type systems for natural
languages.
PAPER SUBMISSION
Extended abstracts, not exceeding 8 pages, in the prescribed format
should be submitted electronically through EasyChair's ITRS'08
submission site http://www.easychair.org/conferences/?conf=itrs08.
A common workshop style will be available on the ITRS'08 web site.
Papers should be submitted in PDF format. We expect electronic
proceedings to be available at the workshop web page, but it is not
intended to replace conference publication. The authors of each
accepted paper are expected to give a talk on the paper at the workshop.
POST-PROCEEDINGS:
The proceedings of ITRS'00 were published by Carleton Scientific.
The proceedings of ITRS'02 and ITRS'04 were published by Elsevier in
the Electronic Notes in Theoretical Computer Science series.
We are planning to publish the post-workshop proceedings possibly
in ENTCS series. A call for papers for the post-proceedings will be
launched by the end of March 2008 and submissions will undergo regular
refereeing procedure in accordance with the ENTCS policy.
VENUE: TBA
PROGRAM COMMITTEE:
Steffen van Bakel (Imperial College, London, UK)
Franco Barbanera (Universita` di Catania, Italy)
Daniel Dougherty (Worcester Polytechnic Institute, USA)
Silvia Ghilezan (Chair)(Univerzitet u Novom Sadu, Serbia)
Pierre Lescanne (École Normale Supérieure de Lyon, France)
Ugo de'Liguoro (Universita` di Torino, Italy)
Yiorgos Stavrinos (National Technical University of Athens,Greece)
Pawel Urzyczyn (Uniwersytet Warszawski, Poland)
Joe Wells (Heriot-Watt University, Edinburgh, Scotland)
E-MAIL: itrs08-chair@imft.ftn.ns.ac.yu