[Prev][Next][Index][Thread]

workshop on isomorphism of types




	     First International Workshop on
                  Isomorphisms of Types

			IRIT
	          Toulouse  (France)

 		   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.

 Organising/program committee:

 S. Soloviev (IRIT), R. Di Cosmo (Paris-VII), G. Longo (ENS, Paris)

 Local organisation: D. Chemouil, L. Mehats.

 Contact:
prof. Sergei Soloviev
IRIT
Universite Paul Sabatier
118, route de Narbonne,
31062 Toulouse
France

soloviev@irit.fr

(33)(5)61556255

fax (33)(5)61556258