People
Events
Research
Home
Sites Involved in the TYPES BRA
France
CNRS/Université Paris 7
.
Representative:
Michel Parigot
<parigot@logique.jussieu.fr>
.
ENS Lyon
.
Representative:
Christine Paulin-Mohring
<cpaulin@lip.ens-lyon.fr>
.
INRIA Rocquencourt
.
Representative:
Gérard Huet
<Gerard.Huet@inria.fr>
.
INRIA Sophia Antipolis
.
Representatives:
Gilles Kahn
<Gilles.Kahn@sophia.inria.fr>
and
Joëlle Despeyroux
<Joelle.Despeyroux@sophia.inria.fr>
.
Germany
Technical University Munich
.
Representative:
Tobias Nipkow
<nipkow@informatik.tu-muenchen.de>
.
Great Britain
The University of Cambridge
.
Representative:
Larry Paulson
<Larry.Paulson@cl.cam.ac.uk>
.
The University of Edinburgh
.
Representative:
James McKinna
<jhm@dcs.ed.ac.uk>
.
The University of Manchester
.
Representative:
Peter Aczel
<petera@cs.man.ac.uk>
.
Oxford University
.
Representative:
Lincoln Wallen
<Lincoln.Wallen@prg.ox.ac.uk>
.
Italy
The University of Torino
.
Representative:
Mario Coppo
<coppo@di.unito.it>
.
University of Udine.
Representative:
Furio Honsell
<honsell@uduniv.cineca.it>
.
The Netherlands
Nijmegen University
.
Representative:
Henk Barendregt
<henk@cs.kun.nl>
.
Philips Laboratory Eindhoven.
Representative:
Leen Helmink
<helmink@prl.philips.nl>
.
Sweden
Chalmers University (in Göteborg)
.
Representative:
Bengt Nordström
<bengt@cs.chalmers.se>
.
Return to TYPES homepage
Last updated on 11 February 1997 by
Healfdene Goguen
<hhg@dcs.ed.ac.uk>