Europe United Kingdom
|
|
| 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 - 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 Oxford - Mathematical Institute, Mathematical Logic group. Members, seminars. Home of the Model Theoretic Exchange. |
| University of St. Andrews - Department of Computer Science, Computational Logic group. Members, events, publications, collaborators. |
| University of St. Andrews - Arché: Centre for the Philosophy of Logic, Language, Mathematics and Mind. |
Help build the largest human-edited directory on the web.
