Workshop in Termination and Type Theory

Göteborg 14-15 November 2002

EC TYPES Working Group (IST-1999-290001-TYPES)

List of Participants

Name Email
Andreas Abel abel@informatik.uni-muenchen.de
Peter Aczel petera@cs.man.ac.uk
Klaus Aehlig aehlig@mathematik.uni-muenchen.de
Thorsten Altenkirch txa@cs.nott.ac.uk
Thomas Arts thomas.arts@ituniv.se
Freiric Barral barral@mathematik.uni-muenchen.de
Gilles Barthe Gilles.Barthe@sophia.inria.fr
Marcin Benke marcin@cs.chalmers.se
Ulrich Berger u.berger@swan.ac.uk
Yves Bertot Yves.Bertot@sophia.inria.fr
Frederic Blanqui blanqui@lri.fr
Ana Bove bove@cs.chalmers.se
Venanzio Capretta Venanzio.Capretta@sophia.inria.fr
Catarina Coquand catarina@cs.chalmers.se
Thierry Coquand coquand@cs.chalmers.se
Pietro Di Gianantonio digianantonio@dimi.uniud.it
Peter Dybjer peterd@cs.chalmers.se
Markus Forsberg markus@cs.chalmers.se
Carl Christian Frederiksen xeno@diku.dk
Arne John Glenstrup panic@diku.dk
Carlos Gonzalia gonzalia@cs.chalmers.se
Jörgen Gustavsson gustavss@cs.chalmers.se
Thomas Hallgren hallgren@cse.ogi.edu
Michael Hedberg hedberg@cs.chalmers.se
John Hughes rjmh@cs.chalmers.se
Pierre Hyvernat hyvernat@cs.chalmers.se
Patrik Jansson patrikj@cs.chalmers.se
Felix Joachimski felix@joachimski.de
Chin Soon Lee leecs@diku.dk
Per Martin-Löf  
Peter Ljunglof peb@cs.chalmers.se
Ralph Matthes matthes@informatik.uni-muenchen.de
Conor T. McBride C.T.McBride@durham.ac.uk
James McKinna J.H.McKinna@durham.ac.uk
Bengt Nordström bengt@cs.chalmers.se
Ulf Norell ulfn@cs.chalmers.se
Aarne Ranta aarne@cs.chalmers.se
Jan Smith smith@cs.chalmers.se
Tarmo Uustalu tarmo(at)cs.ioc.ee
Paul J. Voda voda@diku.dk
David Wahlstedt davidw@cs.chalmers.se

If you have any further questions, please mail bove@cs.chalmers.se.

Page last modified on November 12, 2002 by Ana Bove.