Call for Papers Workshop on Intersection Types and Related Systems (ITRS '00) University of Geneva, Switzerland Saturday, 15 July 2000 http://www.cee.hw.ac.uk/~jbw/itrs/itrs00/ Co-located with ICALP '00, the 27th International Colloquium on Automata, Languages, and Programming (9 to 15 July 2000) http://cuiwww.unige.ch/~icalp/ IMPORTANT DATES/DEADLINES: Submission of papers: Sunday, 26 March 2000 Notification of acceptance: Wednesday, 12 April 2000 Proceedings version: Friday, 28 April 2000 Workshop: Saturday, 15 July 2000 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 '00 workshop will 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 each invited speaker, a panel discussion, and a short (approx. 25 minutes) talk for each accepted paper. The proceedings will be published by Carleton Scientific; copies will be distributed at the workshop. 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 SPEAKERS (all confirmed): Mariangiola Dezani-Ciancaglini (Università di Torino, Italy) John Reynolds (Carnegie Mellon University, USA) PROGRAM COMMITTEE: Adriana Compagnoni (Stevens Institute of Technology, USA) Maribel Fernández (École Normale Supérieure, France) Thomas Jensen (IRISA/CNRS, Rennes, France) Jean-Louis Krivine (Université Paris 7, France) Jens Palsberg (Purdue University, Indiana, USA) Simona Ronchi Della Rocca (Università di Torino, Italy) Betti Venneri (Università di Firenze, Italy) Joe Wells (Chair) (Heriot-Watt University, Edinburgh, Scotland) 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. The printed area should be in one column occupying 130 mm horizontally and 200 mm vertically. (WARNING: the printed area size is small! Do not wait until the last minute to make this adjustment!) It is recommended to include full proofs of any theorems in appendices if they will not fit in 15 pages. However, any appendices beyond the 15-page limit should not be needed for judging the paper and will not be included in the proceedings. PAPER ELECTRONIC FORMAT: The paper should be in PostScript. Every effort should be made to ensure that only portable PostScript features are used (e.g., avoid using non-standard built-in fonts). For other formats, ask the program chair well in advance of the deadline. 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. All of this information should be repeated at the beginning of the submission e-mail message in plain text (e.g., no TeX codes). SUBMISSION E-MAIL FORMAT: The submission should be an e-mail message sent to the submission address (see below) to arrive no later than noon UTC on the day of the submission deadline (see above). This e-mail message should contain first the administrative information and then the paper. The paper should be included in the e-mail message either in uuencoded format or as a properly labelled MIME attachment. The name of the uuencoded file or MIME attachment should begin with the surnames of the authors, in lowercase letters, separated by "+". AFTER THE SUBMISSION: Expect submissions to be acknowledged within a day. All submissions will be reviewed by at least three people. Notification of acceptance or rejection will occur by the date indicated above. The revised paper for the proceedings must be prepared according to the instructions at The revised paper together with a signed copyright assignment must be received by us 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 ICALP '00 conference, which will be held at the University of Geneva. Accomodations at a very special ICALP rate have been reserved in a couple of hotels and very inexpensive rooms will be available at the Student Housing. Lunch will be served daily on campus and there will be morning and afternoon refreshment breaks. For more details see the ICALP '00 web address given above. CONTACT INFORMATION: Web: http://www.cee.hw.ac.uk/~jbw/itrs/itrs00/ Submission e-mail: itrs00-submit@cee.hw.ac.uk Program chair: Joe Wells e-mail: itrs00@cee.hw.ac.uk telephone: +44 131 451 3869 telephone messages: +44 131 451 3328 fax: +44 131 451 3327 postal: Computing & Electrical Engineering Dept. Heriot-Watt University EDINBURGH, EH14 4AS Scotland (UK)