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


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.


   send either a full paper or an extended abstract by e-mail
   to soloviev@irit.fr by September 15th 2002

Important dates:

   September 15th: deadline for abstract submission
   October    4th: 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


    Sergei Soloviev
    Université Paul Sabatier
    118, route de Narbonne,
    31062 Toulouse
    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