Next: Tallinn
Up: Cooperating sites
Previous: Stockholm-Uppsala


The Swansea subsite, at the Dept. of Computer Science, University of Wales, is particularly strong in mathematical logic and foundations of type theory, but also has interests in applications to programming languages. The site plans to contribute to three of the objective areas.

The senior members of the Swansea subsite are:

Swansea homepage

Bengt Nordström 2005-09-22