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 St. Andrews
Department of Computer Science, Computational Logic group. Members, events, publications, collaborators.
University of Manchester
Department of Computer Science, Formal Methods Group. Members, research projects, meetings and seminars.
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.
|