Sites of the TYPES Working Group
Finland
University of Helsinki
.
Representative:
Jan von Plato
<vonplato@cc.helsinki.fi>
.
France
CNRS/Université Paris 7
.
Representative:
Michel Parigot
<parigot@logique.jussieu.fr>
.
ENS Lyon
.
Representative:
Christine Paulin-Mohring
<Christine.Paulin@lri.fr>
.
INRIA Rocquencourt
.
Representative:
Gilles Dowek
<Gilles.Dowek@inria.fr>
.
INRIA Sophia Antipolis
.
Representatives:
Joëlle Despeyroux
<Joelle.Despeyroux@sophia.inria.fr>
.
Germany
Technical University Munich
.
Representative:
Tobias Nipkow
<nipkow@informatik.tu-muenchen.de>
.
Subsites:
University of Darmstadt
.
Representative:
Thomas Streicher
<streicher@mathematik.th-darmstadt.de>
.
Great Britain
The University of Cambridge
.
Representative:
Larry Paulson
<Larry.Paulson@cl.cam.ac.uk>
.
Subsite:
University of Birmingham
.
Representative:
Eike Ritter
<E.Ritter@cs.bham.ac.uk>
.
The University of Edinburgh
.
Representative:
Rod Burstall
<rb@dcs.ed.ac.uk>
.
Subsite:
University of Durham
.
Representative:
Zhaohui Luo
<Zhaohui.Luo@durham.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>
.
Subsite:
Queen Mary and Westfield College, London
.
Representative:
David Pym
<pym@dcs.qmw.ac.uk>
.
Italy
The University of Torino
.
Representative:
Mario Coppo
<coppo@di.unito.it>
.
University of Udine
.
Representative:
Furio Honsell
<honsell@dimi.uniud.it>
.
Subsite:
University of Padova
.
Representative:
Giovanni Sambin
<sambin@math.unipd.it>
.
The Netherlands
Nijmegen University
.
Representative:
Henk Barendregt
<henk@cs.kun.nl>
.
Utrecht University
.
Representative:
Mark Bezem
<Marc.Bezem@phil.ruu.nl>
.
Sweden
Chalmers University, Göteborg
.
Representative:
Jan Smith
<smith@cs.chalmers.se>
.
Subsites:
University of Oslo (Norway)
.
Representative:
Anne Salvesen
<abs@ifi.uio.no>
.
University of Stockholm.
Representative:
Per Martin-Löf.