Research teams and centers : Europe - North America
- Other

Publications
- Blogs - Organizations
- Mailing
lists - Software
- Other

Here is a list of research groups and departments (and some
isolated logics specialists in other departments) in the
foundations of mathematics and computer science (logic, set
theory, model theory, theoretical computer science, proof theory,
programming languages).

- Vienna
- Kurt Gödel Research Center for Mathematical Logic, University of Vienna
- Kurt Gödel Society

- Theory and logic group, Vienna University of Technology - Group in Applications of Formal Logic. Research fields: Resolution- and tableaux-based theorem proving - Non-classical logics - Molecular computing - Formal Languages - Equational reasoning and term rewriting - Formal methods for specification and verification.
- Algebra (Head : Martin Goldstern ) includes mathematical logic, universal algebra, applications of set theory and model theory
- Computational logic group
- Graz Institute
of Theoretical Computer Science

The Belgian Society for Logic and Philosophy of Science (BSLPS) is aimed at promoting Belgian research in logic and philosophy of science by inviting distinguished researchers to discuss their work.

- Brussels
- Logique mathématique (at ULB) : set theories, model theory, non-classical logics , theoretical computer science.
- Centre for Logic and Philosophy of Science , Vrije Universiteit Brussel
- Centre Fédéré en
Vérification (CFV) includes all the research teams from
the French part of Belgium interested in computer aided
verification. Organizes monthly seminars.

- Ghent : Centre for Logic and Philosophy of Science.
- Adaptive Logics Home Page : The adaptive logic programme aims at developing a type of formal logics suited to explicate the many interesting dynamic consequence relations that occur in human reasoning but for which there is no positive test
- Greifswald : Arbeitsgruppe
Berechenbarkeitstheorie über algebraischen Strukturen
= Research
Group Theory of Computability over Algebraic Structures

- Leuven
- Centre for Logic and Analytical Philosophy
- DTAI group (Declaratieve Talen en Artificiele Intelligentie = Declarative Languages and Artificial Intelligence)
- Liège : Unité de
Recherches en Métaphysique et Théorie de la connaissance,
Département de philosophie

- Louvain-la-neuve :

- CENTAL (Centre de Traitement Informatique du Langage) is a computing centre attached to the Faculté de Philosophie et Lettres and specialized in the study of Natural Language Processing
- Théorie des
catégories

- Mons:

- Service de Logique Mathématique
- Institute of
Computing Science

- Theoretical Computer Science
- Algorithms Lab : teaching (Algorithms, Programmation, Artificial Intelligence, etc.), research activities (Extremal Graph Theory and Computer Assisted Scientific Discovery).

- Department of Mathematical Logic and Applications, Sofia University
- Bulgarian Academy of Sciences

- Brno
- Faculty of informatics
:

- Philosophy faculty
- Ostrava

- Pilsen (University of West Bohemia)
- Prague
- Charles University
- Department of Theoretical Computer Science and Mathematical Logic
- Department of Logic
at the Philosophy faculty

- Academy of Science
- Institute of Mathematics : Mathematical Logic, Algebra and Theoretical Computer Science (MLATCS)
- automatic control
- forcing in set theory
- mathematical logic and complexity theory
- Institute of Philosophy : Department of Logic

- Theoretical
Computer Science

BRICS (Basic Research in Computer
Science) was a research center and PhD school funded by the
Danish National Research Foundation from 1994 to 2006.

- Aarhus :

- Copenhagen : Algorithms and Programming Languages Group
- Copenhagen - Kongens : Algorithms,
Logic and Graphs, Technical University of Denmark

- Roskilde : Programming, Logic and Intelligent Systems group at Roskilde University, investigates foundations, tools and languages for the development of adaptable, reliable, human-oriented computer systems.
- Southern Denmark : Programming
Languages and Verification

- Tallin : Laboratory
of Software Science, Institute of cybernetics

- Helsinki

- Logic Group : model theory, set theory, finite model theory, logic and analysis, other topics.
- Theoretical philosophy
- Computational Linguistics
- Semantic Computing Research Group
- Tampere : Mathematical
Logic

- Finite model
theory in Finland

- Master Parisien de Recherche en Informatique (MPRI)
- Paris
1 : Logic
teaching in the Philosophy faculty

- Paris 7 University (Denis-Diderot)
- Equipe de Logique Mathématique
- Laboratoire Preuves, Programmes et Systèmes, (Proofs, Programs and Systems) Design, study and implementation of languages for proofs and programs
- Paris 12 (Créteil): LACL (Algorithmic, Complexity and Logic Laboratory)
- ENS Paris : ABSTRACTION (Interprétation abstraite et analyse statique = Abstract Interpretation and Static Analysis) - Activity reports and objectives - Team leader's personal website (affiliated with Paris - Rocquencourt INRIA)
- Paris INRIA research centre

- GALLIUM (Programming languages, types, compilation and proofs)
- Prosecco research team: formal and practical security research on cryptographic protocols, software security, web security, and hardware protection mechanisms.
- DEDUCTEAM : Déduction
modulo, interopérabilité et démonstration automatique -
abstract in
English - Gilles Dowek
(was leading LOGICAL
: Logic and computing at INRIA)

- Orsay - Saclay - Palaiseau - Gif-sur-Yvette
- LIX (Laboratoire d'Informatique de l'Ecole Polytechnique)
- TypiCal (Types, logic and computation) (dissolved in dec. 2012)
- Algorithms and Complexity
- INRIA : Parsifal (Preuves Automatiques et Raisonnement sur des SpécIFicAtions Logiques - wiki) works on foundational aspects of proof theory as well as on the design and implementation of systems that exploit that foundational work
- VALS Verified Algorithms, Languages and Systems in LRI (Laboratory for Computer Science at Université Paris-Sud). Includes Toccata to promote formal specification and computer-assisted proof in the development of software that requires a high assurance of its safety and its correctness with respect to its intended behavior (formerly ProVal : Proof of Programs).

- Caen
- Equipe Algorithmique,
Modèles de calcul, Aléa, Cryptographie, Complexité

- Algebra,
geometry, logic team : Pierre Ageron
works on category theory (mostly in French) - Patrick
Dehornoy connected braids with elementary embeddings in
set theory, and wrote books on logic and complexity.

- Chambery: LIMD (Logical Informatics and Discrete Mathematics) research team in the Department of mathematics of the Savoie University
- Lille 3 Savoirs, Textes, Langage (philosophy) : Tero Tulenheimo - Shahid Rahman
- Lyon
- Groupe de Logique (Institut Camille Jordan)
- Laboratoire d'Informatique du Parallélisme, ENS-Lyon
- PLUME : programs and proofs
- Modèles de
Calcul et Complexité : Discrete and algebraic
algorithms, complexity theory, combinatorics

- Marseille-Luminy: Logique de la Programmation
- Nancy : LORIA (Lorraine Research Laboratory in Computer Science and its Applications) : Formal Methods department. Contribution to logics and proof theory, techniques for the verification of distributed and reactive systems, virology and safety. Logics, models for computations, programming models, rewriting, modelling, specification...
- Rennes : Theory, Algorithms and Systems for Constraints
- Sophia Antipolis : Marelle : Mathématiques, Raisonnement et Logiciel (in English : Computer aided verification of proofs and software), INRIA, to study and use techniques for verifying mathematical proofs on the computer to ensure the correctness of software.

- Aachen : Mathematical Foundations of Computer Science, at Rheinisch-Westfälische Technische Hochschule.
- Finite/Algorithmic Model Theory
- GAMES : research and training programme for the design and verification of computing systems, using a methodological framework that is based on the interplay of finite and infinite games, mathematical logic and automata theory.
- AlgoSyn : Integrating approaches from computer and engineering sciences, the project aims at developing methods for the automatised design of soft- and hardware.
- Augsburg : theoretical
computer science

- Berlin

- Logic and set theory : Sabine Koppelberg and Oliver Deiser at Freie Universität Berlin
- Theoretical computer science at Freie Universität Berlin
- Kai
Hauser : Mathematische Logik und Grundlagenforschung,
Erkenntnistheorie, Wissenschaftsphilosophie, Technische
Universität Berlin

- Mathematical Logic (model theory), Institut für Mathematik, Humboldt-Universitaet zu Berlin (old page)
- Bonn (Rheinische Friedrich-Wilhelms-Universität)
- Mathematical Logic Group
- Institute of Computer Science
- Hausdorff
Center for Mathematics (HCM) : Algorithms,
combinatorics, and complexity - Theoretical
Computer Science (with Heiko Röglin)

- Braunschweig : Theoretical Informatics
- Bremen
- Formal Methods for Software Development
- Formalism,
Logic, Institution - Relating, Translating and Structuring
mailing list and workshops

- Darmstadt : Logic Group in Technische Universität Darmstadt. Application of proof theoretic, recursion theoretic, category theoretic, algebraic and model theoretic methods from mathematical logic to mathematics and computer science.
- Dortmund : Department of Computer Science
- Computer Science I : Logic in Computer Science - Information Engineering - Theory of Data Types
- Computer Science II : Computational Complexity Theory & Efficient Algorithms
- Computer Science VIII : Artificial Intelligence
- Dresden (Technische Universität Dresden):
- International
Center for Computational Logic

- Institute of Theoretical Computer Science
- Institute of Artificial Intelligence
- Duisburg - Essen Algebra und Logik
- Erlangen : Department of Computer Science
- Frankfurt : Mathematical
Computer Science

- Freiburg :

- Mathematical Institute - Section of Mathematical Logic, Albert-Ludwigs-Universität.
- Graduate School Mathematical Logic and Application
- Foundations of Artificial Intelligence
- Algorithms and Complexity
- Hagen : Fakultät für Mathematik und Informatik
- Hamburg : Bereich Mathematische Logik und interdisziplinäre Anwendungen der Logik
- Hannover : Faculty of Electrical Engineering and Computer Science
- Heidelberg : Mathematical Logic and Theoretical Computer Science workgroup
- Ilmenau : Institute of Theoretical Computer Science
- Jena : theoretical informatics : Computational complexity, Complexity theory and logic.
- Kaiserslautern : Department of computer science
- Max Planck Institute for
Software Systems : Programming Languages/Verification
(Viktor Vafeiadis, Rupak Majumdar; others are in Saarbrücken)

- German Research Center for Artificial Intelligence
- Karlsruhe
- Kiel : Arbeitsgruppe Logik, Christian-Albrechts-Universität : Otmar Spinas
- Koblenz : Institute for Computer Science
- Formal Methods and Theoretical Computer Science (Research Group Sofronie-Stokkermans)
- Artificial Intelligence
- Software languages team
- Konstanz : Model Theory Working Group composed of members of the "Forschungsschwerpunkt reelle Geometrie und Algebra" (Real Geometry and Algebra research group) with an interest in Model Theory.
- Leipzig: Abteilung Logik und Wissenschaftstheorie, Institut für Philosophie, Universität Leipzig
- Lübeck : Institut für Theoretische Informatik
- Münster: Institut für mathematische Logik und Grundlagenforschung, Westfälische Wilhelms-Universität
- München (Munich):
- Ludwig-Maximilians-Universität
- Mathematische Logik : Set theory, Model theory (Non-standard Analysis), Proof theory, MINLOG interactive proof system
- Institut für Informatik
- Center for
information and language processing

- Munich Center for Mathematical Philosophy
- Technische Universität : Fakultät
für Informatik research
chairs list:

- Efficient Algorithms
- Foundations of Software Reliability and Theoretical Computer Science
- Formal Languages, Compiler Construction, Software Construction
- Logic and Verification
- Theoretical
informatics

- Institut für Theoretische Informatik, Mathematik und Operations Research, Universität der Bundeswehr
- Paderborn Department of computer science
- Algorithms and Complexity
- Programming Languages and Compilers
- Knowledge-Based Systems (involves mathematical logic)
- Passau Department of Informatics and Mathematics chairs and Research
- Potsdam
- (The Mathematical
Logic team was dissolved, Thoralf
Räsch went to Bonn)

- Theoretical
Computational Linguistics

- Saarbrücken
- Max Planck Institute for Informatics
- Saarland University, Computer Science
- Computational Complexity
- Research Groups : Viorica Sofronie-Stokkermans and Christoph Weidenbach
- Theoretical Computer Science
- Cluster of Excellence "Multimodal Computing and Interaction"
- Max Planck Institute for Software Systems : Programming Languages/Verification (Derek Dreyer, Eva Darulová, Deepak Garg)
- Siegen Mathematische
Logik und Theoretische Informatik

- Trier Theoretical
Computer Science

- Tübingen, Eberhard-Karls-Universität :

- Arbeitsbereich
Mathematische Logik, Grundlagen und Geschichte der
Mathematik (Mathematical logic, foundation and history
of mathematics) - group no more exists.

- Theoretische
Informatik

- Logik
und Sprachtheorie (theory of language)

- DiFoS - Dialogical Foundations of Semantics
- Hypotheses
philosophy project

- Ulm
- Wadern : Schloss Dagstuhl - Leibniz Center for Informatics International conference and research center for computer science.

- National Technical University of Athens : Department of Computer Science

- Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences.
- Eötvös University
- Department of logic, Institute of Philosophy

Italian Society for Logic and
Philosophy of Science

- Florence

- Seminario
di Logica e Filosofia della Scienza

- Daniele
Mundici (Logica Matematica e sue applicazioni: modelli e
algoritmi per la deduzione)

- Genova
- Mathematics : logica

- Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi (DIBRIS)
- Milano :
- Padova (Dipartimento di Matematica Pura e Applicata, Università di Padova)
- Pisa

- Logical Foundations of Rational Interaction in Centro di Ricerca Matematica Ennio De Giorgi
- Formal Methods and Tools Laboratory in Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”
- Mathematical
Logic : Alessandro
Berarducci - Mauro Di Nasso

- Egon Börger previously worked on Logic and Complexity Theory.
- Rome : Gruppo di Logica
e Geometria della Cognizione, philosophy department

- Salerno : Mathematical
Logic group

- Sienna : Mathematical logic and algebraic logic
- Turin (Torino)
- Mathematical Logic group, department of mathematics (Dipartimento di Matematica "Giuseppe Peano", Università degli Studi di Torino)
- Logica matematica, Politecnico di Torino

- Computational linguistics
- Mathematical foundations of computer science - the research focuses on quantum algorithm theory

Dutch Association for Theoretical Computer Science

- Amsterdam - Institute for Logic, Language and Computation, research institute in the interdisciplinary area between mathematics, linguistics, computer science, philosophy and artificial intelligence
- Delft University of Technology : Klaas Pieter Hart
- Eindhoven : Institute
for Programming research and Algorithmics

- Nijmegen
- Dutch Research School in Logic - The aim of the Onderzoeksschool Logica (OZSL) is to provide a forum for researchers in the Netherlands whose research involves logic.
- Radboud Universiteit
- Utrecht
- Logic group at the Mathematics Department : Topos theory, Categorical Logic, Computability theory, Set theory and Proof theory.
- The programme 'Logic, Meaning and Cognition' of the discipline group Theoretical Philosophy focuses on classical philosophical questions linked to questions about the fundamentals of science.
- Center for Algorithmic Systems

- Bialystok : Department of Logic, Informatics and Philosophy of Science
- Katowice : Institute of mathematics
- Kielce : Logic
and Set Theory

- Krakow

- Theoretical Computer Science
- Department
of Logic at Institute of Philosophy Jagiellonian University

- Lodz university, Logic
and methodology of science

- Poznan
- Mathematical logic
with a small
list of logic teams in Poland

- Department of applied
logic (linguistics) with a big
list of logic teams in Poland and some more links

- Warsaw
- Faculty of Mathematics, Informatics and Mechanics (MIM)
- Mathematical Logic and Category Theory
- Topology and Set Theory
- Algorithmics
- Logic in Computer Science
- Semantics and Formal Methods
- Logic group,
Institute of Philosophy

- Polish Association for Logic and Philosophy of Science
- Institute of Computer Science (Polish Academy of Sciences)

- Lisbon (Lisboa)
- The Mathematical Logic Group in Lisbon (Centro de Matemática e Aplicações Fundamentais, Universidade de Lisboa)
- Logic and computation, The Unit of Logic and Computation at the Department of Mathematic, Instituto Superior Técnico

- Bratislava
- Department of computer science
- Department of Logic and Methodology of Science
- Institute of Philosophy, Slovak Academy of Sciences
- Kosice:
- Institute of mathematics of Pavol Jozef Safarik University: Lev Bukovsky (emeritus, worked on set theory).
- Mathematical Institute of the Slovak Academy of Sciences (topics) : Miroslav Repický

Logic
in Spain and a list of conferences on model theory

Summa logicae : bibliography and congresses "Tools for teaching logic"

- Barcelona

- Faculty of Philosophy : Department of Logic,
History and Philosophy of Science

- Departament de Probabilitat, Lògica i Estadística seminars and research groups (in catalan), among which
- Research group on model theory, with a list of model theorists around the world
- Master in Pure and Applied Logic - PhD in Pure and Applied Logic
- Department of Computer Science of the Technical University of Catalonia (UPC) :
- Bellaterra : Artificial Intelligence Research Institute (IIIA)
- Madrid (Universidad Politécnica de Madrid): Computational Logic, Implementation, and Parallelism Lab
- Donostia – San Sebastián :
- Department of Logic and Philosophy of Science
- Institute for Logic, Cognition, Language and Information
- Salamanca Departamento
de Filosofía, Lógica y Estética

- Santiago de Compostela : Sociedad
de Lógica, Metodología y Filosofía de la Ciencia / Department
of Logic and Moral Philosophy

- Göteborg (Gothenburg)
- Stockholm

- The Stockholm Logic Seminar of the Logic group, Department of Mathematics, Stockholm university
- Theoretical Computer Science
- Language Technology
- Department of Philosophy
- Umeå philosophy

- Uppsala
- Mathematical Logic. Computability theory, constructive mathematics, type theory, domain theory, categorical logic and model theory. Logic seminar.
- Department of Information Technology
- Algorithmic Program Verification - Parameterized and Infinite-state Systems
- Computing Science
- Philosophy researchers - Theoretical Philosophy seminar - Logic and Metaphysics

- Bern : Logic and Theory Group, part of the Institute of Computer Science and Applied Mathematics at the Faculty of Science of the University of Bern
- Fribourg : Pervasive and Artificial Intelligence (PAI)
- Geneva Département
d'informatique

- Geneva Artificial Intelligence Laboratory
- Theoretical Computer Science and Sensor Nets
- Software Modeling and Verification Group
- Neuchâtel : Institut de
philosophie

- Zurich
- Institute of Theoretical Computer Science
- Lorenz J. Halbeisen works on Infinite Combinatorics and set theory in Universität Zürich.

- Bath : Mathematical
Foundations of computation, Department of Computer Science

- Birmingham :
- Reasoning (includes : Theorem Proving, Proof Planning and Symbolic Algebra, Natural Language Processing...)
- Natural Language Processing
- Theoretical Computer Sciences
- Cambridge
- Canterbury : Programming Languages and Systems Group
- Bristol :

- Mathematical logic and set theory
- Department of Philosophy : Homotopy Type Theory (James Ladyman, Stuart Presnell); The Limits and Scope of Mathematical Knowledge (Leon Horsten, Philip Welch)
- Durham : Algorithms and complexity
- Edinburgh:

- Informatics
- Centre for Intelligent Systems and their Applications undertakes basic and applied research and development in knowledge representation and reasoning ;
- Artificial Intelligence Applications Institute (AIAI)
- Institute for Language, Cognition and Computation
- Laboratory for Foundations of Computer Science
- Computational Thinking research programme
- Computer Science Research, Heriot-Watt University
- Dependable
Systems Group

- Intelligent Systems Lab
- The ULTRA group : Useful Logic, Types, Rewriting, Automation.
- Philosophy
- Logic & language
- Archelogos Projects aims at the development of methods of electronic representation of arguments, and methods of electronic reasoning, using advanced artificial intelligence techniques.
- Essex :
- Algebra
and Discrete Mathematics (ADM)

- David H Fremlin, emeritus : Set-theoretic analysis and measure theory)
- Glasgow
- Mathematically Structured Programming Group, University of Strathclyde
- School of
Computing Science, University of Glasgow

- Glasgow University Provers is an informal discussion group for researchers in the department with an interest in theorem proving.
- Leeds

- The Leeds Logic Group : computability theory, model theory, set theory and foundations, proof theory, and in applications to algebra, analysis and theoretical computer science.
- School of computing
- Liverpool Computer Science Department
- Leicester : Computer Science
- Algebraic and Categorical Structures and Methods
- Computational Complexity of Algebraic Structures
- Deduction, Rewriting and Transformation
- London
- Queen Mary, University of London : Theoretical Computer Science - research on logical methods for reasoning about computer systems - another list.
- Department of Computing, Imperial College
- Computational Logic and Argumentation
- Machine Learning
- Verification of Autonomous Systems
- Programming languages
- King's College
- Software
Modelling and Applied Logic

- London Logic Forum brings together London researchers in the mathematics and computational aspects of formal logic
- Group of Logic, Language and Computation (obsolete ?)
- Theory
of computing, Royal Holloway

- Department
of Philosophy, Logic and Scientific Method, London
School of Economics

- Manchester :
- Formal Methods Group, Department of Computer Science. Broad span of interests, from developing the new mathematics of computational behaviour, to the study and development of system design and verification methods. There is a large group dedicated to the automation of logic - Manchester is the home of two world-champion automated theorem-proving systems.
- Mathematical Foundations Group, composed mainly of people working in the Computer Science department at the University of Manchester. Members, seminars and lecture notes.
- Mathematical
Logic : Uncertain Reasoning, Computation in Groups and
Semigroups, Model theory

- Logic and Computation Group, based in the School of Computing, Mathematics and Digital Technology at Manchester Metropolitan University. Mathematical modelling for human reasoning and representation knowledge in Computer Science, Knowledge Engineering and Artificial Intelligence, in construction algorithms to recognize consistency and correctness, to infer new knowledge from known information, modelling web ontology.
- Norwich : Logic (Model Theory and Set Theory), University of East Anglia.
- Nottingham : Foundations
of Programming

- Oxford

- Oxford Mathematical Logic group. Geometric stability theory, model theory of fields and o-minimal structures.
- Department of Computer Science
- Philosophy project : Inexpressibility
and Reflection in the Formal Sciences

- Sheffield Department of Computer Science
- Swansea University, Wales :
- Theoretical Computer Science (Theory: Algebraic and Logical Design Methods ), Swansea University.
- J Roger Hindley : Mathematical logic; particularly lambda-calculus, combinatory logic and type-theories
- St Andrews, Scotland: Computational Logic group, Department of Computer Science, University of St. Andrews. Members, events, publications, collaborators.
- Stirling, Scotland : Computing Science and Mathematics
- Warwick Foundations of Computer Science
- York : Department of computer science

- Calgary (Alberta) - Logic Research Group, Department of Philosophy, University of Calgary.
- Montréal (Québec) : Category Theory Research Center
- Halifax : Atlantic Category Theory Group
- Hamilton (Ontario) : Mathematical Logic, McMaster University
- London (Ontario)
- Ottawa : Logic
and Foundations of Computing Group

- Peterborough (Ontario) : Mathematics
research in Trent University

- Prince Edward Island : Maxim R. Burke (Set theory, general topology, measure theory, functional analysis)
- Saskatoon : Centre for Algebra, Logic and Computation, University of Saskatchewan
- Toronto (Ontario)
- University of Toronto
- Department of mathematics : some people work on "set theory".
- Department of Computer Science : Stephen A. Cook (proof complexity) - Toniann Pitassi (proof complexity, probabilistic reasoning...)
- Appalachian set theory : special two-day workshop, September 8-9, 2012
- York University
- Department of Computer Science, Ryerson University : Mikhail Soutchanski
(Logic-based high-level programming languages...)

- Alasdair
Urquhart (Emeritus Prof. of Philosophy, logic,
complexity...)

- Vancouver (Columbia): Simon Fraser University, Burnaby
- Logic And Functional Programming Group
- Laboratory for Logic and Experimental Philosophy
- Computational
Logic Lab

- Waterloo (Ontario)

- Grupo de Lógica Matemática y Teoría de Conjuntos (= set theory) + Topology and Set Theory, Universidad Nacional Autónoma de México, Mexico City.

- Phoenix : Tempe (Arizona State University) :

- UC San Diego

Los Angeles area

- UCLA : Logic Center supports teaching and research in logic and its applications. (Enderton, Herbert B. who made a list of links to ASL members and wrote some books, died October 20, 2010)
- Caltech : Alexander Kechris: Foundations of mathematics; mathematical logic and set theory; their interactions with analysis and dynamical systems.
- UC Irvine

- Logic and Foundations of Mathematics (set theory, with emphasis on forcing, large cardinals, inner model theory, fine structure theory, regular and singular cardinal combinatorics, and descriptive set theory.) + Paul C. Eklof, Emeritus.
- Center for Algorithms and Theory of Computation (mainly Algorithms and Complexity)
- Logic and Philosophy of Science

San Francisco area

- Stanford : Logic at
Stanford

- Center for the Study of Language and Information
- Logic Group focused on Computational Logic at the Stanford Computer Science Department.
- Formal Reasoning Group
- Omar De la Cruz did works on the axiom of choice
- (the Standford
Theory group seems far from logic)

- UC Berkeley : Group in Logic and the Methodology of Science - Robert Solovay
- Menlo Park : SRI International

- Boulder : Mathematics professors ( Don Monk , Agnes Szendrei , Keith Kearnes + emeriti : Jan Mycielski)
- University
of Denver : Natasha
Dobrinen (Set Theory, Boolean Algebras, Recursion
Theory...), Nick
Galatos (Universal algebra, algebraic logic...)

- University of Conneticut, Storrs :
- Logic group gathering Mathematical Logic and philosophy members
- Logic
seminar

- New England Recursion and Definability Seminar
- Wesleyan
University, Middletown (focus on algebra and model theory)
: Philip H. Scowcroft - Carol S. Wood. (Emeriti : W. Wistar Comfort
- Fred E.J. Linton
- Lewis C. Robertson

- American University : Ali Enayat (metamathematics of foundational axiomatic systems)
- Howard University : Neil
Hindman (set theory)

- Gainesville : Logic and Set Theory , University of Florida.
- Miami : George Kafkoulis and Taje Ramsamujh in Florida International University
- Boca Raton : Florida Atlantic University mathematics deptartment : Dr. Robert Lubarsky and Fred Richman (constructive mathematics).

- Atlanta : Georgia Tech School
of Computer Science : Theory -
Algorithm and Randomness
Center

- University of Hawaii at Manoa Mathematics research
: Logic and Lattice Theory People,
Courses ,
Description

- Urbana : University of Illinois at Urbana-Champaign
- Logic, Department of Mathematics : model theory and its applications and in descriptive set theory; nonstandard analysis ; aspects of group theory with significant connections to logic.
- Department of Computer science
- Artificial
intelligence

- Formal Systems Laboratory
- Algorithms & Theory Group
- Department of Philosophy
- Chicago
- Logic at UIC (Pure Mathematics, University of Illinois at Chicago)
- Logic, theoretical computer science - Theory group (University of Chicago)
- Other Theory Groups in the Chicago Area
- Loyola University : Peter Lars
Dordal

- Bloomington (Indiana University)

- The Indiana University Program in Pure and Applied Logic (for students)
- Logic, Mathematics Department.
- Theoretical Foundations of Computer Science
- Logic,
Philosophy of Mathematics, Philosophy of Language

- South Bend : University of Notre Dame
- Logic
research group in the Department of Mathematics

- Some members
of the Department of Philosophy have interests in logic.

- Iowa State University, Ames
- Fairfield : Paul Corazza,
Maharishi University
of Management

- Lawrence : Set Theory at University of Kansas

- University of Maryland at College Park

- Computer Science Department, Active Logic Group.(Active Logic, MEtacognitive COmputation, and Mind)
- Mathematics
- D. W. Kueker Model Theory
- M. C.
Laskowski Model Theory, Set Theory

- Amherst : Daniel J. Velleman in Amherst College
- Boston :
- Akihiro Kanamori in Boston University, focuses on large cardinals.
- Theory
seminar, Boston University Computer Science Dept.

- Peter A. Fejer (University of Massachusetts at Boston): Computability Theory (also known as Recursion Theory) and Theoretical Computer Science
- List of
logicians in and around Boston

- Cambridge :
- Logic at Harvard
- Exploring the
Frontiers of Incompleteness

- Gerald Sacks (Harvard University), set theory and recursion theory.
- MIT Computer Science and Artificial Intelligence Laboratory
- Agustín Rayo, philosopher at MIT working in the intersection of the philosophy of logic and the philosophy of language.
- (the MIT logic group ended its activity)
- Northampton : Paul Baginski
and James M.
Henle at Smith College.

- Ann Arbor, University of Michigan.

- Logic and Foundations
- Department of Electrical Engineering and Computer Science
- Detroit, University
of Detroit Mercy - Michael
Canjar works on set theory

- Kansas City : Eric
Jonathan Hall (Characterizing permutation models - axiom
of choice and topology)

- Omaha : Andrzej
Roslanowski, University of Nebraska (Set
Theory, General Topology,
Abstract Algebra, Set-Theoretical
Aspects of Real Analysis)

- Las Vegas: Derrick DuBose and Douglas Burke at University of Nevada.

- Hannover : Dartmouth Logic Seminar
- homepage for
the Focused Research Group in Algorithmic Randomness
(2007-2010).

- Newark : Rutgers University
- Logic Seminar and Descriptive Set Theory Seminar
- Center for Discrete Mathematics and Theoretical Computer Science
- Princeton

- Las Cruces :
- Knowledge representation, Logic, and Advanced Programming Laboratory (KLAP)
- Computer science Graduate Courses and Catalogs
- Logic and Foundations Group

- Logic events in New York City area including Logic Workshop at CUNY (City University of New York), Set Theory seminar
- New York University: Computer Science
- Algorithms and Theory
- Formal Methods and Verification
- Machine Learning and Knowledge Representation
- Natural Language and Speech Processing
- Among research
groups at the CUNY Graduate Center is one of Logic

- Baruch College : Laurence Kirby (finite set theory), Arthur W. Apter (set theory: large cardinals and forcing).
- New
York City College of Technology : Mathematics research

- Ithaca (Cornell University)
- Mathematics Faculty list and thesis abstracts
- Computing and Information Science
- Cornell Natural Language Processing Group
- Theory of Computing
- Programming Languages
- Artificial Intelligence
- Proof/Program Refinement Logic project : logic-based tools to support programming, formal computational mathematics
- Hempstead : Daniel Seabold in Hofstra University, working on infinite-time computable model theory.
- NYU's Computer Science Department
- Rochester

- Center for Language Sciences
- Department of Computer Science
- Artificial Intelligence
- Theoretical Computer Science : algorithms and computational complexity, and their applications
- Schenectady, Union
College : Julius
Barbanel works on set theory

- Syracuse Electrical
Engineering and Computer Science ; Shiu-Kai
Chin, Andrew
C.-Y. Lee, Robert
Irwin, James
Royer, Ernest
Sibert, Howard
Blair, Susan
Older

- Charlotte (University of North Carolina): Alan Dow (set theory and topology)
- Raleigh (North Carolina State University)

- The
Logic and Cognitive Science Initiative

- Computer
science Research Areas include Algorithms and Theory of
Computation.

LAOS:
Logicians At Ohio State. An interdisciplinary group of
scholars with research interests in logic

- Athens (Ohio University) : Philip Ehrlich
(philosophy of mathematics) - Todd Eisworth
(set theory)

- Columbus : Ohio State University

- Department of Mathematics (Chris Miller, Harvey M. Friedman prof. emeritus, Timothy Carlson) - logic seminar
- Department of
Computer Science and Engineering

- Philosophy : Stewart Shapiro - Neil Tennant
- Kenyon College : Bob
Milnikel (mathematical analysis of logic as used in
computer science) - Noah
Aydin (algebraic coding theory).

- Oxford : Miami Mathematics
research interests

- State College : Mathematical
Logic at Pennsylvania State University: Steve Simpson and
others - (Thomas Jech,
prof. emeritus, set theory)

- Philadelphia : Logic and Computation at University of Pennsylvania : interdisciplinary research group composed of faculty and graduate students from the Departments of Computer and Information Science, Linguistics, Mathematics, and Philosophy - includes an Undergraduate Program in Logic, Information, and Computation
- Benjamin C.
Pierce wrote programming books

- Pittsburgh
- Pure and Applied Logic, Carnegie Mellon University.
- Nuel Belnap, University of Pittsburgh
- University of Scranton : research in set theory by Jakub
Jasinski - Ken
Monks - Krzysztof
Plotka

- College of Charleston : Renling Jin :
nonstandard analysis, set theory, model theory...

- Nashville : Universal
Algebra & Logic Research Group, Vanderbilt University.

- Austin (University of Texas) : Department of Computer Science
- College Station : Department
of Philosophy : History
and Philosophy of Logic (includes Philosophy
of Mathematics)

- Denton : faculty by research interests in Mathematics at University of North Texas.
- Lubbock : Texas Tech University

- Provo : Brigham Young University : Artificial Intelligence and Machine Learning

- Arlington : Tomek Bartoszynski, National Science Foundation
- (Harrisonburg : Elizabeth Brown, Pure Mathematics, James Madison University)
- Morgantown : Department of Mathematics, West Virginia University : Krzysztof Ciesielski - Jerzy Wojciechowski

- Madison
- Logic. Members, seminars, list of thesis
- Computer Science Department
- Milwaukee Mathematics faculty research interests, Marquette University.
- Oshkosh: Joan Hart works in set theory and its applications to general topology, measure theory, and functional analysis.

Computer
Science Faculty Research Areas - University of Wyoming
Logic Society

- Canberra : Logic & Computation group - Logical theory, Mechanised reasoning, Applications of logic. Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems.
- Melbourne, Monash University
- Faculty of
Information Technology

- (Mathematics research groups include : Algebra & Discrete Mathematics - Computational Mathematics)
- Sydney

- Campinas: Center of Logic, Epistemology and History of Science, with a Group for Theoretical and Applied Logic, Universidade Estadual de Campinas
- Florianópolis: Study group in logic and foundation of science, Center of philosophy and human sciences, Universidade Federal de Santa Catarina
- Salvador Bahia : Universidade Federal da Bahia
- Instituto de Matemática - Research Group in Logic, Sets and Topology = Grupo de Pesquisa em Lógica, Conjuntos e Topologia (research topics) - Mathematical Logic UFBA
- Departamento de Ciência da Computação (DCC)
- Recife: Theory
and Logical Foundations of Computing, Universidade Federal de
Pernambuco (obsolete ?)

- Campinas : Brazilian Logic Society (Sociedade Brasileira de Lógica) (philosophy).
- Natal : Group for
Logic, Language, Information, Theory and Applications

Association for Logic in India

- Bombay : Centre for Formal Design and Verification of Software
- Calcutta Logic Circle
- Kanpur : Rough
Set Theory and Modal Logics

- Teheran
- Institute for Studies in Theoretical Physics and Mathematics (IPM)

Logic in Israel : obsolete page

- Beersheba : Mathematical
and Computational Logic Research Group, Ben Gurion
University of the Negev

- Haifa

- Computer
Science Department (Technion - Israel Institute of
Technology) research
areas

- The Hebrew University of Jerusalem.
- Rehovot : Research in Foundations of Computer Science
- Ramat Gan ( Bar Ilan University) : Doron A. Peled (Formal Verification, Semantics of Programming Languages, Temporal Logics,...), Dagan Ido (Natural Language Processing), Amir Leshem
- Tel Aviv

- Mathematics : Moti Gitik : Mathematical Logic, Set theory: forcing, large cardinals, cardinal arithmetic, inner models.
- School of Computer Science
- Arnon Avron has also interests in the foundations of mathematics and philosophical logic

(from West to East)

- Matsuyama : Hiroshi
Fujita (Department
of mathematics, Graduate School of Science and
Engineering, Ehime University) works on descriptive set theory

- Kobe : Group of Logic, Statistics & Informatics, Kobe University, including Set theory.
- Osaka, Department of Mathematics and Information Sciences : Masaru Kada (cardinal invariants of the reals, Cichon's diagram, forcing, infinitary combinatorics, compactification)
- Nagoya

- Ishikawa region : Nomi : Ishihara
Laboratory, School
of Information Science, Japan Advanced Institute of
Science and Technology (archive
of old logic group page - Ono
laboratory)

- Shizuoka, Department of Mathematics. The chair of Fundamental Mathematics includes algebra, topology, differential geometry and mathematical logic.
- Tsukuba : Information mathematics group : Akito Tsuboi (Mathematical Logic) - Masahiro Shioya (set theory) - Ko Sakai (theoretical computer science)
- Sendai, Tohoku University : Kazuyuki Tanaka
(to not mistake with another Kazuyuki
Tanaka in the same university): logic, foundations of
mathematics and theory of computation.

- Auckland : Undergraduate programme Logic and Computation - Centre for Discrete Mathematics and Theoretical Computer Science
- Wellington : Victoria University
- Centre for Logic, Language and Computation (joint centre of mathematics, computer science, philosophy and linguistics)
- In mathematics : Dr Colin Bailey, Prof Rod Downey, Prof Rob Goldblatt

- Moscow

- Department of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Moscow State University.
- Russian Academy of Sciences
- Department of Logic, Institute of Philosophy
- Department
of Mathematical Logic, Steklov Mathematical Institute

- Novosibirsk

- Chair of Algebra and Mathematical Logic
- Sobolev
Institute of Mathematics, Siberian Branch of the Russian
Academy of Sciences includes mathematical logic

- Pereslavl
- Artificial Intelligence Research Center
- (University of Pereslavl
http://u-pereslavl.botik.ru/UP/ ? server down)

- St. Petersburg : Laboratory of Mathematical Logic of the Steklov Institute of Mathematics.

- Byunghan Kim, Department of Mathematics, Yonsei University

- Lviv Algebra and logic

Still incomplete, more links will be added later.

The creation of this page used the whole of the following sources, thus making them obsolete (the links were not copied but completely updated and rebuit, and many more were added):

- A big thanks to Anton Setzer for having made, a few years ago, by far the biggest list of links to logic-servers world wide, though a majority of his links were broken.
- world.logic.at

- dmoz : research groups and centers (a dying portal with a dire lack of editors since many left, including myself, repelled by wrong management staff and absurd bureaucratic rules)
- See also : Set
theory homepages