To: licsr@sun7.mathematik.uni-freiburg.de Subject: deadline extension: ITRS '00 (Intersection Types & Related Systems) Dear Martin, Could you please distribute the announcement enclosed below? It has changed since the last time you distributed it due to a deadline extension. -- Thanks, Joe Wells ---------------------------------------------------------------------- WORKSHOP ON INTERSECTION TYPES AND RELATED SYSTEMS (ITRS '00) Call for Papers University of Geneva, Switzerland Saturday, 15 July 2000 (colocated with ICALP '00) http://www.cee.hw.ac.uk/~jbw/itrs/itrs00/ * Theme and format. This is a workshop for 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. * Topics for submitted papers. The key requirement is some connection to intersection types or closely related systems. Possible topics include principal typings, normalization properties, type inference algorithms, union types, refinement types, singleton types, abstract interpretation, contraints, denotational semantics, lambda models, program analysis, separate compilation, modularity, program extraction from proofs, etc. * Submission. Submit papers by e-mail to itrs00-submit@cee.hw.ac.uk by 26 March 2000 (EXTENDED DEADLINE). The web page details the format and submission requirements. Acceptance will be decided by 12 April 2000. Authors of accepted papers must complete the proceedings version by 28 April 2000 and give a talk at the workshop. The proceedings will be published by Carleton University Press in their International Informatics Series. * Invited speakers. Mariangiola Dezani-Ciancaglini, John Reynolds. * Program committee. Adriana Compagnoni, Maribel Fernández, Thomas Jensen, Jean-Louis Krivine, Jens Palsberg, Simona Ronchi Della Rocca, Betti Venneri, Joe Wells (Chair).