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.
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.
University of London, Queen Mary Westfield College
Department of Computer Science, Logic and Foundations of Programming group. Members, research projects.
University of London, Queen Mary Westfield College
Logic and Semantics group. People, projects and research.
University of Manchester
Department of Computer Science, Formal Methods Group. Members, research projects, meetings and seminars.
University of Manchester
Mathematical Foundations Group. An informal group in mathematics and computer science. Members, seminars and lecture notes.
University of Manchester
Department of Mathematics, Logic Group. Research interests: model theory, uncertain reasoning and logical aspects of AI, variants of classical set theory and their applications, and formalisation in theory and practice. Members, courses.
University of Oxford
Mathematical Institute, Mathematical Logic group. Members, seminars. Home of the Model Theoretic Exchange.
University of St. Andrews
School of Philosophical and Anthropological Studies; Department of Philosophy; includes Logic and Metaphysics.
University of St. Andrews
Arché: Centre for the Philosophy of Logic, Language, Mathematics and Mind.
University of St. Andrews
Department of Computer Science, Computational Logic group. Members, events, publications, collaborators.