- The University of Manchester
- Faculty of
Science
- Department of Mathematics
- Group for
Pure Mathematics and Logic
- LEGO Algebra Group
- Peter Aczel (joint appointment with the Computer Science Department)

- LEGO Algebra Group

- Group for
Pure Mathematics and Logic
- Computer Science Department
- Formal Methods
Group
- Peter Aczel, see Mathematics Department
- Howard Barringer

- Harold Simmons
- Andrei Voronkov (in Uppsala: A. Voronkov)

- Formal Methods
Group

- Department of Mathematics

- Faculty of
Science
- University of Manchester Institute of Science and Technology

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