workshop on isomorphism of types
First International Workshop on
Isomorphisms of Types
8-9 November 2002
(First announcement and 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.
Papers presented to the workshop will be presented electronically
at the web site of the workshop and may be published in a
special issue, in case their number and quality justifies it.
The workshop is supported by STIC/CNRS (project ISOT) and
IRIT/Universite Paul Sabatier
Limited funds for travel and/or accomodation are available.
S. Soloviev (IRIT), R. Di Cosmo (Paris-VII), G. Longo (ENS, Paris)
Local organisation: D. Chemouil, L. Mehats.
prof. Sergei Soloviev
Universite Paul Sabatier
118, route de Narbonne,