United Kingdom Europe Research Groups and Centers Logic and Foundations

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.

• Logic at Leeds Homepage - Information on the Leeds University Logic Group
• University of Oxford - Mathematical Institute, Mathematical Logic group. Members, seminars. research groups and centers Home of the Model Theoretic Exchange.
• University of London, Queen Mary Westfield College - Logic and Semantics group. People, projects and united kingdom research.
• University of St. Andrews - Department of Computer Science, Computational Logic group. Members, events, publications, collaborators.
• University of Leeds - Mathematical Logic Group. Research areas: recursion theory, model theory, research groups and centers set theory and foundations, proof theory, and in applications to research groups and centers algebra, analysis and theoretical computer science. Members, research groups and centers events, seminars.
• Manchester Metropolitan University - Department of Computing and Mathematics, Logic and Computation research groups and centers Group. Research projects: Proof Methods research groups and centers for Non-Classical Logics; Temporal and Modal Logics; Programming research groups and centers Language Design; Agent-Based Systems. Members, research interests, research groups and centers bibliography.
• University of Manchester - Department of Computer Science, Formal Methods Group. united kingdom Members, research projects, meetings and seminars.

   MySQL - Cache Direct