*** WIT 2002 *** First International Workshop on Isomorphisms of Types IRIT, Toulouse (France) 8-9 November 2002 Web page: http://www.irit.fr/zeno/WIT2002 *** LAST CALL FOR PARTICIPATION *** The study of isomorphic types is connected to type theory, number theory, category theory and lambda calculus, and it has various applications to information retrieval systems, automatic adaptor code generation, subtyping, and the like. This workshop aims to bring together researchers working on these subjects, to assess the current state of the art and identify open problems and future research directions. There will be space for talks presenting original work, work in progress, survey of previous works, but we will also provide sufficient time for discussions. Details on paper submission will be given in a further announcement. Papers presented at the workshop will be published on the web site of the workshop and may be selected for submission, in complete and revised form, to a special issue of an international journal, in case their number and quality justify it. The workshop is supported by STIC/CNRS (project ISOT) and IRIT/Université Paul Sabatier. Limited funds for travel and/or accomodation are available. Submission (extended deadline): send either a full paper or an extended abstract by e-mail to soloviev@irit.fr by September 30th 2002 Important dates: September 30th: deadline for abstract submission October 15th: notification of acceptance October 28th: final/full version due Organising/program committee: R. Di Cosmo (Paris-VII and INRIA Rocquencourt, France) G. Longo (ENS, Paris, France) S. Soloviev (IRIT, Toulouse, France) Local organisation: D. Chemouil L. Méhats Contact: Sergei Soloviev IRIT Université Paul Sabatier 118, route de Narbonne, 31062 Toulouse France E-mail: soloviev@irit.fr Tel: (+33) 5 61 55 62 55 Fax: (+33) 5 61 55 62 58 -- David Chemouil mailto:chemouil@irit.fr Zeno group http://www.irit.fr/~David.Chemouil Institut de recherche en informatique de Toulouse 13-Sep-2002 12:52:07 -0300,978;000000000000-00000000