Workshop on Isomorphisms of Types (2nd CFP)
*** WIT 2002 ***
First International Workshop on Isomorphisms of Types
IRIT, Toulouse (France)
8-9 November 2002
Web page: http://www.irit.fr/zeno/WIT2002
*** SECOND 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
The workshop is supported by STIC/CNRS (project ISOT) and
IRIT/Université Paul Sabatier.
Limited funds for travel and/or accomodation are available.
send either a full paper or an extended abstract by e-mail
to firstname.lastname@example.org by September 15th 2002
September 15th: deadline for abstract submission
October 4th: notification of acceptance
October 28th: final/full version due
R. Di Cosmo (Paris-VII and INRIA Rocquencourt, France)
G. Longo (ENS, Paris, France)
S. Soloviev (IRIT, Toulouse, France)
Université Paul Sabatier
118, route de Narbonne,
Tel: (+33) 5 61 55 62 55
Fax: (+33) 5 61 55 62 58
David Chemouil mailto:email@example.com
Zeno group http://www.irit.fr/~David.Chemouil
Institut de recherche en informatique de Toulouse