Knowledge: united kingdom
Links
- University of Leeds
http://www.amsta.leeds.ac.uk/Pure/logic/ - 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 Oxford
http://www.maths.ox.ac.uk/logic/ - Mathematical Institute, Mathematical Logic group. Members, seminars. Home of the Model Theoretic Exchange.
- University of St. Andrews
http://www.st-andrews.ac.uk/academic/philosophy/st-andrews.html - School of Philosophical and Anthropological Studies; Department of Philosophy; includes Logic and Metaphysics.
- University of St. Andrews
http://www.st-andrews.ac.uk/academic/philosophy/arche/ - Arché: Centre for the Philosophy of Logic, Language, Mathematics and Mind.
- University of St. Andrews
http://www.dcs.st-and.ac.uk/~rd/logic.html - Department of Computer Science, Computational Logic group. Members, events, publications, collaborators.
- Manchester Metropolitan University
http://www.doc.mmu.ac.uk/RESEARCH/logicgrp/ - 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 Manchester
http://www.cs.manchester.ac.uk/mfg/ - Mathematical Foundations Group. An informal group in mathematics and computer science. Members, seminars and lecture notes.
- University of Manchester
http://www.cs.manchester.ac.uk/fmethods/ - Department of Computer Science, Formal Methods Group. Members, research projects, meetings and seminars.
| Help build the largest human-edited directory on the web. |
| Submit a Site - Open Directory Project - Become an Editor |
Knowledge.com ™ directory, provided by Knowledge Matters Limited.
"Knowledge.com" is a Registered Trademark of Knowledge Matters Limited.