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


Swansea

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