Web Directory

» Manchester Metropolitan University
   Department of Computing and Mathematics, Logic and Computation Group. Research projects: Proof Methods for Non-Classical Logics; Temporal and Modal Logics; Programming Language Design; Agent-Based Systems. Members, research interests, bibliography.
   http://www.doc.mmu.ac.uk/RESEARCH/logicgrp/

» University of Leeds
   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.
   http://www.amsta.leeds.ac.uk/Pure/logic/

» University of London, Queen Mary Westfield College
   Logic and Semantics group. People, projects and research.
   http://www.dcs.qmul.ac.uk/research/logic/

» University of Manchester
   Department of Computer Science, Formal Methods Group. Members, research projects, meetings and seminars.
   http://www.cs.manchester.ac.uk/fmethods/

» University of Oxford
   Mathematical Institute, Mathematical Logic group. Members, seminars. Home of the Model Theoretic Exchange.
   http://www.maths.ox.ac.uk/groups/logic

» University of St. Andrews
   Department of Computer Science, Computational Logic group. Members, events, publications, collaborators.
   http://www.dcs.st-and.ac.uk/~rd/logic.html