- Universidade Tecnica de Lisboa
- Instituto Superior Tecnico (IST)
- Department of Mathematics
- Section of Computer Science
- Logic and Computation Group (LCG) (joint group with the Applied Mathematics Centre)

- Section of Computer Science
- Applied mathematics centre
(together with the universities of Algarve and Madeira;
member of Centro Internacional
de Matemática (CIM)
- Logic and Computation Group (LCG) (joint group with the section of computer science, see above)

- Department of Mathematics

- Instituto Superior Tecnico (IST)

- back to table of contents for Logic Servers Worldwide
- back to Theoretical Computer Science at Swansea
- back to Computer Science at Swansea