[ifrss] [ifrss]
Kamusta - The Pinoy Web Directory - Philippines
Melibea Web Directory  |  Save your Bookmarks

Top: Science: Math: Logic_and_Foundations: Institutions: Europe: United_Kingdom:

United Kingdom

Sites:

» Manchester Metropolitan University Open in a new browser window - 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 Open in a new browser window - 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 Manchester Open in a new browser window - Department of Computer Science, Formal Methods Group. Members, research projects, meetings and seminars.
» University of Oxford Open in a new browser window - Mathematical Institute, Mathematical Logic group. Members, seminars. Home of the Model Theoretic Exchange.
» University of St. Andrews Open in a new browser window - Department of Computer Science, Computational Logic group. Members, events, publications, collaborators.


This category needs an editor

Last Updated: 2007-04-08 09:54:11


Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory