Research groups in the Types project
Short description of each group and its relation to the Types project. The map below is clickable. The red spot represents a main site and a yellow site is a subsite.

Links to homepages
Estonia
Tallinn
Finland
Helsinki
France:
INRIA Sophia,
INRIA Futurs,
Paris 7,
Paris Sud,
Savoie,
Toulouse,
Dassault Aviation,
France Telecom
Germany:
LMU Munich,
TU Munich,
Bamberg
Holland:
Nijmegen
Italy:
Torino,
Udine,
Padova,
Bologna
Norway
Bergen
Poland:
Bialystok,
Warsaw,
Krakow
Portugal:
Minho
Serbia:
Novi Sad/Belgrad
Sweden:
Chalmers,
Stockholm/Uppsala
United Kingdom:
Royal Holloway,
Manchester,
Edinburgh,
Nottingham,
Swansea,
Birmingham,
Sheffield,
Kent