Cooperating sites in the Types project
- Bamberg
- Bergen
- Bialystok
- Birmingham
- Bologna
- Chalmers
- Dassault Aviation
- Edinburgh
- France Telecom R&D
- Grenoble
- Helsinki
- INRIA-Futurs
- INRIA-Sophia
- Kent
- Kraków
- Manchester
- Minho
- LMU München
- TU Munich
- Nijmegen
- Nottingham
- Novi Sad - Belgrade
- Université Paris-Sud
- Padova
- CNRS / Paris 7
- Royal Holloway
- Savoie
- Sheffield
- Stockholm-Uppsala
- Swansea
- Tallinn
- Torino
- Toulouse
- Udine
- Warsaw
Bengt Nordström 2005-09-22