Logic and set theory around the world

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).

Europe

Austria

• 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
  

Belgium

• 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 : Lehrstuhl für Mathematische Logik und Grundlagen der Mathematik
  
• Leuven : Centre for Logic and Analytical Philosophy
  
• Liège : Research team in logic, Department of Philosophy
• Louvain-la-neuve :
  
• Centre de logique
• 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
  
• 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).

Bulgaria

• Department of Mathematical Logic and Applications, Sofia University
• Section of Logic in the Bulgarian Academy of Sciences
• Mailing List of the Bulgarian Logic Community
  

Czech Republic

• Brno
• Faculty of informatics :
  
• Natural Language Processing Center
• Institute for Theoretical Computer Science
• Philosophy faculty
• Transparent Intensional logic
• Teaching resources on logic in Czech language
  
• Ostrava
  
• Institute for Research and Applications of Fuzzy Modeling
• Laboratory of Intelligent Systems

• Pilsen (University of West Bohemia)
• Institute for Theoretical Computer Science (ITI)
• Discrete mathematics
  
• Jana Flašková (ultrafilters)
  
• 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
  

Denmark

BRICS (Basic Research in Computer Science) was a research center and PhD school funded by the Danish National Research Foundation from 1994 to 2006.
The Danish Network for Philosophical Logic and Its Applications is much outdated

• Aarhus : Mathematical Computer Science
• Copenhagen : Algorithms and Programming Languages Group
• Copenhagen - Kongens : Algorithms and Logic section, 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.

Estonia

• Tallin : Software Department, Institute of cybernetics
  

Finland

• Helsinki
  
• Logic Group : model theory, set theory, finite model theory, logic and analysis, other topics.
• Theoretical philosophy
• Computational Linguistics
• Semantic Computing Research Group
• Alex Hellsten worked on set theory
  
• Tampere : Mathematical Logic
  
• Finite model theory in Finland
  

France

Paris and surroundings

• Paris 1 : Logic in the Philosophy faculty
  
• Paris 7 University (Denis-Diderot)
•  Equipe de Logique Mathématique (English version)
• Model theory
• Set theory
• Complexity and application to computer science
  
• Master 2 of Mathematical Logic and Foundations of Computer Science
  
• Laboratoire Preuves, Programmes et Systèmes, (Proofs, Programs and Systems) Design, study and implementation of languages for proofs and programs
  
• INRIA - πr² affiliated members
  
• 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 - Rocquencourt INRIA research centre (in French -  in English)
  
• GALLIUM (Programming languages, types, compilation and proofs)
• Paris sub-office (23 avenue d'Italie) of Paris - Rocquencourt INRIA research centre
• DEDUCTEAM : Déduction modulo, interopérabilité et démonstration automatique - abstract in English - Gilles Dowek in English
  
• Saclay (INRIA, Ecole Polytechnique and LRI : Laboratory for Computer Science at Université Paris-Sud)
  
• TypiCal (Types, logic and calculus) (formerly LOGICAL : Logic and computing)
  
• Parsifal (Preuves Automatiques et Raisonnement sur des SpécIFicAtions Logiques - old page) works on foundational aspects of proof theory as well as on the design and implementation of systems that exploit that foundational work
• ProVal : Proof of Programs
• Créteil : Algorithmic, Complexity and Logic Laboratory
• Logic, Computation and Programming

Other French regions

• 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 : Formal Methods department of LORIA (Lorraine Research Laboratory in Computer Science and its Applications). 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 : Mathématiques, Raisonnement et Logiciel (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.
  
  

Germany

Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG)

• 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
  
• Mathematical Logic (model theory), Institut für Mathematik, Humboldt-Universitaet zu 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
  
• Bonn (Rheinische Friedrich-Wilhelms-Universität)
• Mathematical Logic Group
  
• Institute of Computer Science
• Intelligent Systems
• Algorithmics
  
  • Algorithms and distributed systems
  • Efficient Algorithms, Combinatorial Optimization and Complexity
• Hausdorff Center for Mathematics (HCM) : Algorithms, combinatorics, and complexity - Theoretical Computer Science - Computational Complexity Theory, Computational Algebra and Number Theory.
  
• 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
• Algebraic and Logical Foundations of Computer Science
• Foundations of Programming
• Automata Theory
• Institute of Artificial Intelligence
• Computational Logic Group
• Knowledge Representation and Reasoning
  
• Duisburg - Essen Algebra und Logik
• Erlangen : Department of Computer Science
• Theoretical Computer Science
• Artificial Intelligence Research Group
  
• Frankfurt : Mathematical Computer Science
  
• Freiburg :
  
• Institute for Mathematical Logic and Foundations of Mathematics, 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
• Hannover : Faculty of Electrical Engineering and Computer Science
• Institut für Theoretische Informatik
  
• 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
  
• German Research Center for Artificial Intelligence
  
• Karlsruhe
  
• Institute of Theoretical Informatics
• Institute of Cryptography and Security
• Kiel : Logic at Christian-Albrechts-Universität
• Koblenz : Faculty of Computer Science
• Formal Methods and Theoretical Computer Science
• 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
  
• Mainz : Theoretical Computer Science
  
• 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, Proof theory, MINLOG interactive proof system.
• Institut für Informatik
• Group for Theoretical Informatics,
• Programming and Modelling Languages
  
• Center for information and language processing
  
• Munich Center for Mathematical Philosophy
• Technische Universität : Fakultät für Informatik
• Efficient Algorithms
• Foundations of Software Reliability and Theoretical Computer Science
• Formal Languages, Compiler Construction, Software Construction
• Logic and Verification
• 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 Projects
• Theoretical Computer Science
• Symbolic Computation
• Potsdam
•  Mathematical Logic
• Theoretical Computational Linguistics
  
• Saarbrücken
• Max-Planck-Institut Informatik
• Algorithms and Complexity
• Foundations and Discrete Mathematics
• Automation of Logic
• Reasoning in Complex Theories
  
• Saarland University, Computer Science
• Computational Complexity
• Omega Group : development of tools and artificial intelligence techniques for mathematical theorem proving and maths education.
• Theoretical Computer Science
• Cluster of Excellence "Multimodal Computing and Interaction"
• Language-based Security
• Computational Modelling of Discourse and Semantics
• Efficient Algorithms in Computational Linguistics
• Machine Learning for Natural Language Processing
• RA1: Text and Speech Processing
• RA3: Algorithmic Foundations
• Max Planck Institute for Software Systems
  
• Type Systems and Functional Programming group
• Foundations of Computer Security
• Programming Languages and Systems
• Software Analysis and Verification (with some software)
  
• ...and more
  
• Siegen Mathematische Logik und Theoretische Informatik
  
• Trier Theoretical Computer Science
  
• Tübingen, Eberhard-Karls-Universität :
  
• Arbeitsbereich Mathematische Logik, Grundlagen und Geschichte der Mathematik (working group on Mathematical logic, foundation and history of mathematics)
• Theoretische Informatik
  
• Logik und Sprachtheorie (theory of language)
  
• DiFoS - Dialogical Foundations of Semantics
• Hypotheses philosophy project
  
• Ulm : 
• Institute of Theoretical Computer Science 
• Institute of Artificial Intelligence
  
• Wadern : Schloss Dagstuhl - Leibniz Center for Informatics International conference and research center for computer science.
• Würzburg
  
• Computational science
• Programming Languages and Programming Methodology
• Theoretical Computer Science

Grece - Athens

• Graduate Program in Logic, Algorithms and Computation
  

Hungary - Budapest

• Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences.
• Set Theory and Topology - other page of the group with papers list.
• Algebraic Logic
  
• Eötvös University
• Mathematics research groups
• Department of logic, Institute of Philosophy

Ireland

• Cork : Boole Centre for Research in Informatics
  

Italy

Italian Association of Logic and its applications
Italian Society for Logic and Philosophy of Science

• Florence
  
• Logic and Philosophy of Science
  
• Daniele Mundici
• Genova
• Mathematics
  
• Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi (DIBRIS)
• Dipartimento di Informatica, Sistemistica e Telematica
• Systems and Technologies for Automated Reasoning
• Artificial Intelligence Laboratory
  
• Milano : Laboratorio di Metodi formali e dimostrazione automatica
  
• Padova
• Logic and Foundations
• Mathematical Logic in Padua
• Natural Language Processing
• 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”
• Logic Programming at the University of Pisa
• Logica Matematica : Alessandro Berarducci - Mauro Di Nasso
  
• Egon Börger previously worked on Logic and Complexity Theory.
• (The philosophy faculty does not give information on its research)
  
• 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
  

Latvia

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

Netherlands

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
• Mathematics
  
• Algebra & Logic
• Category Theory Seminar
• Institute for Computing and Information Sciences
• Intelligent Systems
  
• The Foundations group studies and develops mathematically oriented models of computing and reasoning (other page with more members)
• Formalizing Mathematics (old page)
• 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
  

Norway

• Oslo
  
• Logic group at the Department of Mathematics
• Department of Informatics
• Object-orientation, modelling, and languages (OMS)
• Language Technology Group (LTG)
• Logic and Intelligent Data (LogID)
  

Poland

• Bialystok : Department of Logic, Informatics and Philosophy of Science 
• Katowice : Institute of mathematics
• Mathematical logic
• Set theory and topology
• Computer Science and Discrete 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)

Portugal

• Lisbon (Lisboa)
• The Mathematical Logic Group in Lisbon, Universidade de Lisboa
  
• Logic and computation at the Department of Mathematic, Instituto Superior Técnico

Slovakia

• Bratislava
  
• Department of computer science
• Department of Logic and Methodology of Science
• Department of Analytic Philosophy, Slovak Academy of Sciences
• Kosice (Pavol Jozef Safarik University), Department of Computer Science : Peter Vojtas, Miroslav Repický and Lev Bukovsky work on set theory.
  

Spain

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
  
• Barcelona Research Group in Set Theory. 
• LOGOS. Logic, Language and Cognition Research Group
  
• Departament de Probabilitat, Lògica i Estadística (in catalan)
• Research group in non classical logics
• Research group on model theory, with a list of model theorists
  
• Master in Pure and Applied Logic - PhD in Pure and Applied Logic
• The software deparment (LSI) of the Technical University of Catalonia (UPC) : algorithmics, computer graphics, artificial intelligence, logic and programming.
• Bellaterra : Artificial Intelligence Research Institute (IIIA)
• Reasoning and Logic
  
• 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
  

Sweden

• Göteborg (Gothenburg)
• Logic (philosophy)
• Computer Science and Engineering
• Functional Programming
• Language Technology
• Programming Logic
• 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
• Logic and Philosophy of Science
  
• Kaj Børge Hansen
  

Switzerland

• 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.

United Kingdom

British Logic Colloquium

• Bath : Mathematical Foundations and Applications, Department of Computer Science
  
• Birmingham :
  
• Mathematical Foundations of Computer Science
• Reasoning (includes : Theorem Proving, Proof Planning and Symbolic Algebra, Natural Language Processing...)
• Principles of Programming
  
• Cambridge
• Category Theory and Logic
• Computer Laboratory
• Programming, Logic, and Semantics Group
• Microsoft Research
• Programming Principles and Tools
• Constraint Reasoning
  
• Canterbury : Programming Languages and Systems Group
• Bristol :
  
• Mathematical logic and set theory
• Some members of the Department of Philosophy have interests in logic
• 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 ; 
• Mathematical Reasoning Group
  
• 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
  
• Formal Analysis, Theory and Algorithms (FATA)  
• 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
• Algorithms and complexity
  
• Knowledge Representation and Reasoning
• Natural Language Processing
• Teaching module of Theoretical Computer Science
  
• Liverpool Computer Science Department
• Complexity Theory and Algorithmics
• Logic & Computation
• 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
• Foundations, Logic and Structures
• Programming Languages
• Verification
• Philosophy project : Inexpressibility and Reflection in the Formal Sciences
  
• Sheffield Department of Computer Science 
• Natural Language Processing
  
•  Verification and Testing
• 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
• Applied Formal Methods
  
• Warwick Foundations of Computer Science
• York : Department of computer science
• Programming Languages and Systems
• Artificial Intelligence

North America

Canada

• 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)
  
• Theoretical Computer Science
• Ontario Research Centre for Computer Algebra
• Symbolic Computation Lab
• 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
• Theory of computing,
• Mathematics research
  
• 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)
  
• Mathematics : Computability Theory - Model Theory - Universal Algebra
• Cheriton School of Computer Science
• Algorithms and Complexity
• Artificial Intelligence
• Formal Methods
• Programming Languages
• Symbolic Computation Group

Mexico

• 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.
  

USA

Arizona

• Phoenix : Tempe (Arizona State University) :
  
• Automated Reasoning Group
• Computational intelligence and algorithms
  

California

• UC San Diego
• Mathematics :  Jeff Remmel - Samuel R. Buss - Mia Minnes
• Department of Computer Science and Engineering
• Programming Systems
• Security and Cryptography
• Theory
  

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
• Computer Science Laboratory
• Formal Methods and Dependable Systems
• Rewriting Logics and Systems
• Artificial Intelligence Center
• Representation and Reasoning

Colorado

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

Conneticut

• 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
  

Washington, D.C.

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

Delaware (University of Delaware, Newark)

•  Mathematical Logic Interests
• Computer and Information Sciences
• Artificial Intelligence
• Natural Language Processing
• Theory of Computation

Florida

• Gainesville : Logic and Set Theory (old page), 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).
  

Georgia

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

Hawaii

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

Idaho

• Set Theory group at Boise State University

Illinois

• 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
  

Indiana

•  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

• Iowa State University, Ames
•  Department of Mathematics
• Computer Science Faculty Research Interests
• Laboratory for Formal Languages And VERification
• Fairfield : Paul Corazza, Maharishi University of Management
  

Kansas

• Lawrence : Set Theory at University of Kansas

Maryland

• 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
  

Massachusetts

• 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
•  Theory of Computation
  
• 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.
  

Michigan

• Ann Arbor, University of Michigan.
  
•  Logic and Foundations
•  Department of Electrical Engineering and Computer Science
• Artificial Intelligence Laboratory
• Software Systems 
• Theory of Computation
• Abstract State Machines
  
• Detroit, University of Detroit Mercy - Michael Canjar works on set theory
  

Minnesota

•  Mathematical Logic, University of Minnesota.

Missouri

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

Nebraska

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

Nevada

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

New Hampshire

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

New Jersey

• Newark : Rutgers University
•  Logic Seminar and Descriptive Set Theory Seminar
• Center for Discrete Mathematics and Theoretical Computer Science
• Princeton
• Edward Nelson : mathematical logic, foundations of mathematics, bounded arithmetic, and automatic proof verification
•  Computer science
• Programming Languages & Security
• Theoretical Computer Science
• Center for Computational Intractability
  
• Institute of Advanced Study
• Theoretical Computer Science and Discrete Mathematics
• Univalent Foundations of Mathematics year 2012-2013
  

New Mexico

• Las Cruces : 
• Knowledge representation, Logic, and Advanced Programming Laboratory (KLAP)
• Computer science with a Logic and constraint programming (AI) group
  
• Logic and Foundations Group

New York

• 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
• Formal Methods and Verification
• Algorithms and Theory
• 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
  

North Carolina

• 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.
  

Ohio

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
  
• Mathematics faculty - 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
  

Pennsylvania

• 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
  

South Carolina

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

Tennessee

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

Texas

• Austin (University of Texas) : Department of Computer Science
• Artificial Intelligence (see also there)
• Formal Methods
• Programming Languages and Implementation
• Theoretical 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
• Knowledge Representation Lab
  

Utah

• Provo : Brigham Young University : Computer Science
• Natural Language Processing
• Programming Languages
• Computational Sciences
• Verification and Validation Laboratory, or Laboratory for Applied Logic
  

Virginia

• 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

Wisconsin

• 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.

Wyoming

Computer Science Faculty Research Areas - University of Wyoming Logic Society

Other

• Australasian Association for Logic
  

Australia

• 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
  
• Research in Intelligent Systems
• John Crossley
• (Mathematics research groups include : Algebra & Discrete Mathematics - Computational Mathematics)
• Sydney
  
• Department of Computing, Macquarie University
  
•  Centre of Australian Category Theory
• Centre for Advanced Computing - Algorithms and Cryptography
• Centre for Language Technology
• Intelligent Systems Group
• Programming Languages Research Group
• Categories and combinatorics
  

Brazil

• 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
• 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
  

Colombia

• Bogotá Logic group (Universidad Nacional de Colombia, Universidad de los Andes) (the old site cannot be updated anymore).

India

Association for Logic in India

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

Iran

• Teheran
• Institute for Studies in Theoretical Physics and Mathematics (IPM)
• Combinatorics and Computing
• Mathematical Logic

Israel

Logic in Israel  : obsolete page

• Beersheba : Mathematical and Computational Logic Research Group, Ben Gurion University of the Negev
  
• Haifa
  
• Department of Mathematics
•  Computer Science Department (Technion - Israel Institute of Technology)
  
• Theory of Computation Laboratory (TOC)
• Systems and Software Development Laboratory (SSDL)
• Computational Linguistics Laboratory (LCL)
• Center and Laboratory for Intelligent Systems (CIS and ISL)
• The Hebrew University of Jerusalem.
• Theoretical Computer Science
• 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

Japan

(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
  
• Department of Computer Science and Mathematical Informatics
  
• Nagoya Set Theory Seminar
• 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.
  

New Zealand

• 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

Pakistan

• Center for Language Engineering
  

Réunion (France)

• Equipe Réunionnaise de Mathématiques et d'Informatique Théorique

Russia

• 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.

Singapore

• Department of mathematics includes Mathematical Logic & Theoretical Computer Science
  

South Korea

• Byunghan Kim, Department of Mathematics, Yonsei University

Ukraine

• Lviv Algebra and logic

Venezuela

• Maracay : grupo de Álgebra y Lógica de la Universidad Central de Venezuela
  

• 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)