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