Sites:
| 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 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. |
|
Classical
