Call for Papers Workshop on Intersection Types and Related Systems (ITRS '04) University of Turku, Finland Tuesday, 13 July 2004 http://itrs04.di.unito.it/ Co-located with the Joint Meeting of ICALP '04, the 31st International Colloquium on Automata, Languages, and Programming (12 to 16 July 2004) and LICS '04, the 19th Login in Computer Science (14 to 17 July 2000) http://www.math.utu.fi/icalp-lics/ IMPORTANT DATES/DEADLINES: Submission of papers (NEW): Sunday, 23 May 2004 Notification of acceptance: Monday, 31 May 2004 Version for the workshop: Sunday, 13 June 2004 Workshop: Tuesday, 13 July 2004 OVERALL TOPIC AND FORMAT OF WORKSHOP: Types support reliable reasoning in many areas such as programming languages, logic, linguistics, etc. A _polymorphic_ type is one that stands for some number of instance types. The use of type systems for non-trivial purposes generally requires type polymorphism. Intersection types, which were introduced roughly twenty years ago, provide type polymorphism by listing type instances. This differs from the more widely used universal types, which provide type polymorphism by giving a type scheme that can be instantiated into various type instances. (A similar relationship holds between union types and existential types, the duals of intersection types and universal types.) 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 (see possible topics below). Recently, there have been a number of breakthroughs in the use of intersection types (and similar technology) for practical purposes such as program analysis. The ITRS '04 workshop aims 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.). The workshop will last one full day and will contain a long talk by the invited speaker, a panel discussion, and a short (approx. 25 minutes) talk for each accepted paper. Copies of the proceedings will be distributed at the workshop. The proceedings of ITRS'00 were published by Carleton Scientific. The proceedings of ITRS'02 were published by Elsevier in the Electronic Notes in Theoretical Computer Science series. The papers accepted for ITRS'04 will be available at the workshop as a volume of Turku Centre for Computer Science (TUCS) series. We are also planning to publish the workshop proceedings in ENTCS series, as a volume on its own, or together with other workshops, depending on the number of received papers. In this case the authors will be asked to provide a revised version of the paper. POSSIBLE TOPICS FOR SUBMITTED PAPERS: Researchers are invited to submit original papers on topics in the spirit of the workshop. Possible topics for submitted papers include, but are not limited to: * Formal properties of systems with intersection types: principal typings, normalization properties (for normal forms, head-normal forms, weak head-normal forms, etc.), type inference algorithms. * Results for clearly related systems, e.g., systems with union types, refinement types, or singleton types. * Connections with not-so-clearly related approaches such as abstract interpretation and contraints. * Applications to lambda calculus and similar systems, e.g., denotational semantics, analysis/synthesis of lambda models (domains), characterization of operational properties, etc. * Applications for programming languages, e.g., program analysis (flow, strictness, totality, etc.), accurate type error messages, increased flexibility with static typing, separate compilation and modularity, optimizing transformations, types for objects, etc. * Applications for other areas, e.g., database query languages, program extraction from proofs, type systems for natural languages. INVITED SPEAKER (confirmed): Joe Wells (Heriot-Watt University, Edinburgh, Scotland) PROGRAM COMMITTEE: Fabio Alessi (Università di Udine, Italy) Torben Amtoft (Kansas State University, USA) Steffen van Bakel (Imperial College, UK) Gérard Boudol (INRIA Sophia Antipolis, France) Mario Coppo (Chair) (Università di Torino, Italy) Ferruccio Damiani (Università di Torino, Italy) Assaf J. Kfoury (Boston University, USA) Frank Pfenning (Carnegie Mellon University, USA) SUBMISSION INSTRUCTIONS: TOPIC: A submitted paper must describe work that does not substantially overlap with work that has been previously published or is currently being considered elsewhere (e.g., another workshop, conference, or journal). Feel free to consult the program chair on the appropriateness of a topic or the possibility of conflict with another publication. PRINTED APPEARANCE: The paper must be written in English. The paper (including bibliography) should not exceed 15 pages. The paper should use reasonable font size and internal spacing. PAPER ELECTRONIC FORMAT: The paper should be in pdf. ADMINISTRATIVE INFORMATION: The paper should include (1) the title, (2) the list of authors, (3) a brief abstract (fewer than 200 words), (4) a short list of key words/topics, and (5) the name, e-mail address, postal address, voice telephone number, and fax number of the corresponding author. SUBMISSION PROCEDURE: to submit a paper follow the instructions specified by the WEB SUBMISSION PROCEDURE at the url http://itrs04.di.unito.it/openchair/ AFTER THE SUBMISSION: All submissions will be reviewed by at least three people. Notification of acceptance or rejection will occur by the date indicated above. The authors of each accepted paper are responsible for giving a talk on the paper at the workshop. VENUE: The workshop is colocated with the Joint ICALP '04 and LICS'04 conferences, which will be held at the University of Turku. For more details see the ICALP '04 / LICS '04 web address given above. CONTACT INFORMATION: Web: http://itrs04.di.unito.it Submission web: http://itrs04.di.unito.it/openchair/ Program chair: Mario Coppo e-mail: coppo@di.unito.it telephone: +39 011 670 6738 fax: +39 011 751603 postal: Dipartimento di Informatica, Università di Torino, C.so Svizzera 185, I-10149 Torino, Italy