ListOfLists.com Internet Directory
Home > Top > Science > Math > Logic > Research Groups

Surf these sites:
 Aachen -- Mathematical Foundations of Computer Science
Amsterdam -- Institute for Logic, Language and Computation
Angers -- Mathematical Logic [in French]
Barcelona -- Department of Logic, History and Philosophy of Science
Berkeley, University of California -- Group in Logic and the Methodology of Science
Bonn -- Mathematical Logic Group
Brigham Young University -- Laboratory for Applied Logic.
Carnegie Mellon University -- Pure and Applied Logic
Florida, University of -- Logic and Set Theory
Freiburg -- Institut für mathematische Logik und Grundlagen der Mathematik [in German]
Heidelberg -- Mathematical Logic
Helsinki -- Logic Group
Indiana University -- Group in Pure and Applied Logic.
Karlsruhe -- Department for Logic, Complexity, and Deduction Systems [site is in German; some pages available in English]
Las Cruces, New Mexico -- Laboratory for Logic,Databases and Advanced Programming
Leeds -- Mathematical Logic Group
Linear Logic -- Linear Logic site created by Pat Lincoln. Includes bibliography, course notes, and special fonts containing the "par" symbol.
London, QMW -- Logic and Foundations of Programming
Los Angeles, University of California -- Logic and Set Theory
Lyon 1 -- Institut Girard Desargues - Logique [in French]
Manchester University -- Mathematical Logic
Manchester, Metropolitan University -- Logic and Computation Group
Michigan, University of -- Logic and Foundations
Minnesota, University of -- Mathematical Logic
Moscow -- Logic Department
Munich -- Mathematical Logic
Münster -- Institut für mathematische Logik und Grundlagenforschung [in German]
New York, City University -- Logic at CUNY and in the New York City region
Notre Dame -- Mathematical Logic
Paris 1 -- Logic Seminar
Paris 7 -- Mathematical Logic Team
Pennsylvania State -- Mathematical Logic
Pennsylvania, University of -- Logic and Computation Group
Prague -- Logic Department
St. Andrews -- Arché: Centre for the Philosophy of Logic, Language, Mathematics and Mind.
St. Andrews -- Computational Logic
St. Petersburg -- Laboratory of Mathematical Logic of the Steklov Institute of Mathematics
St.Andrews -- Logic and Metaphysics
Stanford -- Logic
Uppsala -- Mathematical Logic
Urbana-Champaign, University of Illinois -- Logic
Vienna, University of Technology -- Group in Applications of Formal Logic
Vienna, University of Vienna -- Department of Formal Logic
Waterloo, Canada -- Logic Programming and Artificial Intelligence Group

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