|
|
|
|
Home / Science / Math / Logic and Foundations / Research Centers / Europe / United Kingdom
|
|
|
|
Web 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.
www.doc.mmu.ac.uk/RESEARCH/LoCo
- 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.
www.amsta.leeds.ac.uk/Pure/logic
- University of London, Queen Mary Westfield College - Knowledge Representation and Reasoning Group, Applied Logic Colloquium. Schedule.
www.dcs.qmw.ac.uk/seminars/alc
- University of London, Queen Mary Westfield College - Department of Computer Science, Logic and Foundations of Programming group. Members, research projects.
www.dcs.qmw.ac.uk/research/theory
- University of Manchester - Department of Computer Science, Formal Methods Group. Members, research projects, meetings and seminars.
www.cs.man.ac.uk/fmethods
- 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.
www.maths.man.ac.uk/DeptWeb/Groups/Logic/LogicResearch.html
- University of Manchester - Mathematical Foundations Group. An informal group in mathematics and computer science. Members, seminars and lecture notes.
www.cs.man.ac.uk/mfg
- University of Oxford - Mathematical Institute, Mathematical Logic group. Members, seminars. Home of the Model Theoretic Exchange.
www.maths.ox.ac.uk/logic
- University of St. Andrews - School of Philosophical and Anthropological Studies; Department of Philosphy; includes Logic and Metaphysics.
www.st-andrews.ac.uk/academic/philosophy/st-andrews.html
- University of St. Andrews - Department of Computer Science, Computational Logic group. Members, events, publications, collaborators.
www-theory.dcs.st-and.ac.uk/Groups/logic.html
- University of St. Andrews - Arché: Centre for the Philosophy of Logic, Language, Mathematics and Mind.
www.st-andrews.ac.uk/academic/philosophy/arche
|
|
|
|
|