  |
University of St. Andrews - http://www.st-andrews.ac.uk/academic/philosophy/arche/
Arché: Centre for the Philosophy of Logic, Language, Mathematics and Mind. |
  |
University of Leeds - http://www.amsta.leeds.ac.uk/Pure/logic/
Mathematical Logic Group. Research areas: recursion theory, model theory, set theory and foundations, proof theory, and in applications to algebra, analysis and theoretical computer science. Members, events, seminars. |
  |
University of Oxford - http://www.maths.ox.ac.uk/groups/logic
Mathematical Institute, Mathematical Logic group. Members, seminars. Home of the Model Theoretic Exchange. |
  |
University of London, Queen Mary Westfield College - http://www.dcs.qmul.ac.uk/research/logic/
Logic and Semantics group. People, projects and research. |
  |
University of Manchester - http://www.cs.manchester.ac.uk/fmethods/
Department of Computer Science, Formal Methods Group. Members, research projects, meetings and seminars. |