Logic and set theory around the world

Research teams and centers : Europe - North America - Other

Publications - Blogs - Organizations and conferences - 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

• Linz :
  • Institute for Formal Models and Verification
  • Institute of Knowledge-based Mathematical Systems (FLLL - Fuzzy Logic Laboratory Linz-Hagenberg)
  • Research Institute for Symbolic Computation (Institut für Symbolisches Rechnen)
• 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.
• Formal Methods in Systems Engineering Group, Technische Universität Wien
• 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 : 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)
• Functional Programming
• Theoretical Computer Science
• 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 - Center for Natural Language Processing) 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).
• UNamur / Research Group on the Foundations of Computer Science

Bulgaria

• Department of Mathematical Logic and Applications, Sofia University
• Bulgarian Academy of Sciences
• Algebra and Logic Department
• Mathematical Foundations of Informatics
  

Czech Republic

• Brno
• Faculty of informatics :
  
• Natural Language Processing Center
• Laboratory of Formal Methods, Logic and Algorithms (Formela)
• 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)
• Jana Blobner (ultrafilters)
  
• Prague
• Charles University
• Department of Theoretical Computer Science and Mathematical Logic
• Department of Logic at the Philosophy faculty
  
• Czech Technical University in Prague : Automated Reasoning Group developing the project Artificial Intelligence for Large-Scale Computer-Assisted Reasoning
• 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.

• Aarhus :
  
• Logic and Semantics
• Mathematical Computer Science
• Programming languages
  
• Copenhagen : Algorithms and Programming Languages Group
• Copenhagen - Kongens Lyngby (Technical University of Denmark):
  • Algorithms, Logic and Graphs
  • Formal methods
• 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
  

Estonia

• Tallin : Logic and Semantics research group and Laboratory of Software Science, Institute of cybernetics
  

Finland

• Helsinki
  
• Logic Group : model theory, set theory, finite model theory, logic and analysis, other topics.
• Theoretical philosophy
• Computational Linguistics
• Aalto
  • Algorithms, Logic & Computation - Computational Logic
  • Semantic Computing Research Group
• Tampere : Mathematical Logic
  
• Finite model theory in Finland
  

France

Paris and surroundings

• 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
• 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)
• Logic, Computation and Programming
• ENS Paris : ABSTRACTION (Interprétation abstraite et analyse statique = Abstract Interpretation and Static Analysis) - 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 - Gilles Dowek (was leading LOGICAL : Logic and computing at INRIA)
• Institute for the History and Philosophy of Science and Technology (IHPST)
• Logique, langage, philosophie des mathématiques
• 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) 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).

Other French regions

• Angers : Luck DARNIÈRE
• Caen
• Equipe Algorithmique, Modèles de calcul, Aléa, Cryptographie, Complexité
  
• Géométrie, Représentations, Algèbre, Analyse, Logique (GRAAL) 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
• Université Aix-Marseille : Centre Gilles Gaston Granger : Paola Cantu
• 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.

Germany

• Aachen : Mathematical Foundations of Computer Science, at Rheinisch-Westfälische Technische Hochschule.
• 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 : theory of concurrent systems
  
• Berlin
  
• Freie Universität Berlin
  • Logic and set theory : Sabine Koppelberg and Oliver Deiser
  • Theoretical computer science
• Technische Universität Berlin
  • Kai Hauser : Mathematische Logik und Grundlagenforschung, Erkenntnistheorie, Wissenschaftsphilosophie
  • Logic and Semantics Research Group
• Humboldt-Universität zu Berlin
  • Logik in der Informatik
  • Research unit Specification, verification and testing theory
  • 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
• Intelligent Systems
• Theoretical Computer Science
  
• Algorithmics
• Hausdorff Center for Mathematics (HCM) : Algorithms, combinatorics, and complexity - Theoretical Computer Science (with Heiko Röglin)
  
• Braunschweig : Institute of Theoretical Computer Science
• 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 : Efficient Algorithms & Complexity Theory
• 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
• Knowledge Adaptation and Reasoning for Content
• 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
• 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 : Programming Languages/Verification (Viktor Vafeiadis, Rupak Majumdar; others are in Saarbrücken)
  
• German Research Center for Artificial Intelligence
• Karlsruhe
• Institute of Theoretical Informatics
• Institute of Cryptography and Security
• 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: Department for Mathematical Logic and Foundational Research, 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
• 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 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
• Knowledge-Based Systems (involves mathematical logic)
• Passau Department of Informatics and Mathematics chairs and Research
• Theoretical Computer Science
• Symbolic Computation
• Potsdam
• (The Mathematical Logic team was dissolved, Thoralf Räsch went to Bonn)
  
• Foundations of Computational Linguistics
  
• Saarbrücken
• Max Planck Institute for Informatics
• Automation of Logic
• Algorithms and complexity
  
• Saarland University, Computer Science
• Computational Complexity
• Research Groups : Deepak Garg (Computer security and privacy, formal logic, programming languages) and Christoph Weidenbach (Automation of Logics)
• Theoretical Computer Science
• Cluster of Excellence "Multimodal Computing and Interaction"
• Foundations of Exact Algorithms
• RA1: Text and Speech Processing
• RA3: Algorithmic Foundations
• 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.
  
• Institute of Theoretical Computer Science
• Logik und Sprachtheorie (theory of language, Prof. Dr. Peter Schroeder-Heister) : foundations of inference, proof-theoretic semantics
• 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.

Greece

• National Technical University of Athens :
• Graduate Program in Logic, Algorithms and Computation
• Μathematical Logic group
• Department of Computer Science : Computation and Reasoning Laboratory
• Aristotle University of Thessaloniki : Algebra, Number Theory and Mathematical Logic
• Costas D. Koutras, Group of Algorithms, Cryptography and Computational Logic, Department of Informatics & Telecommunications, University of Peloponnese, Tripolis

Hungary - Budapest

• Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences.
• Set Theory, logic and Topology.
• Eötvös University
• Department of logic, Institute of Philosophy

Ireland

• Cork : Boole Centre for Research in Informatics
  

Italy

Italian Association of Logic and its applications (AILA - Associazione Italiana di Logica e sue Applicazioni)

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 : Riccardo Camerlo
  
• Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi (DIBRIS)
• Artificial Intelligence and Multi Agent Systems (AIMS) Laboratory
• Milano :
• Algorithms and Foundations of Computer Science
• Software Systems and Languages
• Padova (Dipartimento di Matematica Pura e Applicata, Università di Padova)
• Mathematical Logic
• Mathematical Logic in Padua
• Formal Methods for Software Reliability
• Formalization of Formal Topology by means of the interactive theorem prover Matita
• 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 General Mathematical Systems
• Turin (Torino)
• Mathematical Logic group, department of mathematics (Dipartimento di Matematica "Giuseppe Peano", Università degli Studi di Torino)
• Trento : Mathematical Logic and Theoretical Computer Science
• Verona : Logica - Theory of computation, Università di Verona

Latvia

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

Malta

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 Onderzoeksschool Logica (OZSL) aims to provide a forum for researchers in the Netherlands whose research involves logic.
• Radboud Universiteit
• Mathematics: Algebra & topology: Sebastiaan A. Terwijn
• Category Theory Seminar
• Institute for Computing and Information Sciences
• Department of Software Science
• Formalizing Mathematics
• Tilburg university: Tilburg Center for Logic, Ethics, and Philosophy of Science (TiLPS) (other page)
• Utrecht
• Dutch Graduate School in Logic (OZSL)
• Mathematisch Instituut : Ieke Moerdijk - Jaap van Oosten
• Theoretical Philosophy
• Center for Algorithmic Systems

Norway

• Oslo :
• Logic group at the Department of Mathematics
• Department of Informatics
• Pålitelige systemer (PSY) = Reliable systems (PSY)
• Språkteknologigruppen = Language Technology Group (LTG)
• Analytiske Systemer og Resonnering (ASR) = Analytical Solutions and Reasoning (ASR))

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
• Automata theory
• Logic group, Institute of Philosophy
• Polish Association for Logic and Philosophy of Science
• Foundation for Information Technology, Logic and Mathematics
• Institute of Computer Science (Polish Academy of Sciences)

Portugal

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

Romania

Serbia

• Zoran Petrić - (Kosta Dosen 1954 - 2017)
• Representations of logical structures and formal languages and their application in computing

Slovakia

• Bratislava
• Department of computer science
• Department of Logic and Methodology of Science
• Institute of Philosophy, Slovak Academy of Sciences
• The Scope of Formal Semantics
• Department of Analytic Philosophy: Marián Zouhar, Lukáš Bielik, Igor Sedlár
• 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ý

Spain

List of conferences on model theory

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

• Barcelona
  
• Non-classical logic, philosophy department, UAB
• Faculty of Philosophy research projects - Grup de recerca en lògiques no clàssiques
• Joan Bagaria Pigrau (axioms of set theory) and others in Departament de Matemàtiques i Informàtica
  
• 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) :
• LOGPROG: Logics and Programming
• ALBCOM - Algorithms, Biocomputing, Complexity and Formal Methods Group
• GRPLN - Natural Language Processing Group
• LARCA is an international research group working on data mining, machine learning, data analysis, and mathematical linguistics
• Bellaterra : Artificial Intelligence Research Institute (IIIA)
• Logic & Reasoning
• Granada philosophy : M. J. Frápolli
• Madrid
  • Universidad Politécnica de Madrid: Computational Logic, Implementation, and Parallelism Lab
  • Departamento de Lógica y Filosofía de la Ciencia
• Donostia : Institute for Logic, Cognition, Language and Information
• Salamanca Departamento de Filosofía, Lógica y Estética
  
• San Sebastian : Logic and Philosophy of Science Department
• Santiago de Compostela : Sociedad de Lógica, Metodología y Filosofía de la Ciencia
  
• Sevilla : Dpto. de Ciencias de la Computación e Inteligencia Artificial
• Valencia : Lógica y Filosofía de la Ciencia (doctoral programme) - Lógica y Teoría de la Argumentación

Sweden

• Göteborg (Gothenburg)
• Logic (philosophy)
• Computer Science and Engineering
• Functional Programming
• Language Technology, became Centre for Language Technology
• Formal methods
• Stockholm
  
• The Stockholm Logic Seminar of the Logic group, Department of Mathematics, Stockholm university
• Theoretical Computer Science
• Language Technology
• Department of Philosophy : main research interests include Philosophy of language, philosophy of logic and mathematics
• Umeå Department of computing science : Logic and applications - Foundations of Language Processing
  
• Uppsala
• Mathematical Logic is somewhere in the Algebra and Geometry section... there is also a teaching of logic. Computability theory, constructive mathematics, type theory, domain theory, categorical logic and model theory.
• Department of Information Technology
• Algorithmic Program Verification - Parameterized and Infinite-state Systems
• Computing Science
• Philosophy: Logic and Metaphysics
• Kaj Børge Hansen

Switzerland

• Bern (Faculty of Science of the University of Bern)
• Institute of Computer Science and Applied Mathematics : Logic and Theory Group
• Mathematisches Institut : Logic
• Fribourg : Pervasive and Artificial Intelligence (PAI) - Foundations of Dependable Systems
• Geneva Département d'informatique
  
• Theoretical Computer Science and Sensor Nets
• Software Modeling and Verification Group
• Lausanne : Research Group in Mathematical Logic, Faculté des Hautes Etudes Commerciales (HEC)
• 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 of computation, Department of Computer Science
  
• Birmingham :
• Philosophy of Language and Philosophy of Mathematics + Dr Salvatore Florio
• Computer science
• Reasoning (includes : Theorem Proving, Proof Planning and Symbolic Algebra, Natural Language Processing...)
• Natural Language Processing
• Theoretical Computer Sciences
• Cambridge
• Computer Laboratory
• Programming, Logic, and Semantics Group
• Canterbury : Programming Languages and Systems Group
• Bristol :
• Mathematical logic and set theory
• Foundational Studies Bristol promoting collaboration between members of the Department of Philosophy and School of Mathematics
• Department of Philosophy : Homotopy Type Theory (James Ladyman, Stuart Presnell)
• Durham : Algorithms and complexity
• Edinburgh:
  
• University of Edinburgh School of Informatics
• Artificial Intelligence Applications Institute (AIAI)
• Mathematical Reasoning Group
• 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 :
• 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)
• 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
  
• Artificial Intelligence
• Liverpool Computer Science Department
• Algorithms, complexity theory & optimisation
• Artificial intelligence
• Leicester : Computer Science
• Foundations of Computing
• Validation and Verification (VALVE)
• London
• Queen Mary, University of London : Theoretical Computer Science - research on logical methods for reasoning about computer systems
• Department of Computing, Imperial College
• Computational Logic and Argumentation
• Machine Learning
• Verification of Autonomous Systems
• Programming languages
• King's College
• Software Systems (research in applications of logic and mathematics to broad computer science)
  
• London Logic Forum brings together London researchers in the mathematics and computational aspects of formal logic
• Theory of computing, Royal Holloway
  
• Department of Philosophy, Logic and Scientific Method, London School of Economics : David Makinson
  
• Manchester :
• Formal Methods Group, School 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 School of Computer Science at the University of Manchester.
• Mathematical Logic : Uncertain Reasoning, Computation in Groups and Semigroups, Model theory
• Norwich : 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
• Automated 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 (Computability, Specification, Proof theory, Complexity, Railway Verification), Swansea University.
• J Roger Hindley : Mathematical logic; particularly lambda-calculus, combinatory logic and type-theories
• St Andrews, Scotland:
• Department of Computer Science :
  • Artificial intelligence and symbolic computation
  • Programming Languages
• Arché: Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology
• Stirling, Scotland : Computing Science and Mathematics
• Computational Mathematics and Optimisation includes symbolic computation
• Warwick Foundations of Computer Science
• York : Department of computer science
• Artificial Intelligence.

North America

Canada

• Calgary (Alberta) - 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
• Ottawa : Logic and Foundations of Computing Group
  
• Prince Edward Island : Maxim R. Burke (Set theory, general topology...)
• 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 : series of workshops
• York University
• Theory of computing,
• Mathematics research includes category theory and set theory
  
• 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, department of philosophy (maybe no more exists - old url http://www.sfu.ca/llep/)
• Centre for experimental and constructive mathematics
• Computational Logic Lab
  
• Waterloo (Ontario)
• Mathematical logic : Computability Theory - Model Theory - Universal Algebra
• Cheriton School of Computer Science
• Algorithms and Complexity
• Artificial Intelligence
• Formal Methods
• Programming Languages
• Computer Algebra & Symbolic Computation

Mexico

• Universidad Nacional Autónoma de México, Mexico City.
  • Topology and Set Theory = Topología y teoría de conjuntos
  • Instituto de Investigaciones Filosóficas : Lógica
• Theoretical Foundations of Computing and Artificial Intelligence, Computer Science Department of CINVESTAV-IPN, Mexico

USA

Arizona

• Phoenix : Tempe (Arizona State University) :
  
• Automated Reasoning Group

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.
• 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)
• Research Group in Logic and Philosophy of Mathematics

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 not very close to 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 : Logic and Foundations ( Agnes Szendrei , Keith Kearnes , Peter Mayr ; emeriti : Don Monk)
• University of Denver : Natasha Dobrinen (Set Theory, Boolean Algebras, Recursion Theory...), Nick Galatos (Universal algebra, algebraic logic...)
  

Conneticut

• University of Conneticut, Storrs : 
• UConn Group in Philosophical and Mathematical Logic includes Mathematical Logic and philosophy members
• Connecticut Logic Seminar
  
• New England Recursion and Definability Seminar
• Wesleyan University, Middletown (focus on algebra and model theory) : Philip H. Scowcroft - Carol S. Wood - Alex Kruckman. (Emeriti : W. Wistar Comfort - Fred E.J. Linton - Lewis C. Robertson)
  

Washington, D.C.

• 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 , University of Florida.
• Department of Computer Science, University of Miami. Dr Geoff Sutcliffe involved in many conferences and journals
• 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
• Discrete Mathematics and Theoretical Computer Science, Emory University Department of Mathematics & Computer Science.

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
• Theory and Algorithms
• Department of Philosophy
• Chicago
• Logic at UIC (Pure Mathematics, University of Illinois at Chicago)
• faculty research interests include logic and theoretical computer science - Theory group (University of Chicago) 
• Other Theory Groups in the Chicago Area
• Loyola University : Peter Lars Dordal
• Argonne National Laboratory
  • Theoretical Computer Science
  • ProVESA: Program Verification for Extreme-Scale Applications
  • (Automated Deduction at Argonne is an obsolete page as William McCune is dead)

Indiana

• Bloomington (Indiana University)
  
• The Indiana University Program in Pure and Applied Logic (for students)
• Mathematics research : Lawrence S. Moss.
• Theoretical 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 research interests : logic
• Computer Science Research Labs
• Formal Methods & Verification Research Group
• Theory
• 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.
• Algorithms and 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 near Boston
  
• Cambridge :
• Logic at Harvard
• Exploring the Frontiers of Incompleteness
  
• 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.
• MIT Mathematical Logic & Foundations (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
• Theory of Computation : laboratory
• Formal Methods & Automated Reasoning
• Abstract State Machines (stopped activity)
  
• 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 the mathematics department, University of Nevada.

New Hampshire

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

New Jersey

• Newark : Rutgers University
• Logic group in the department of mathematics
• Center for Discrete Mathematics and Theoretical Computer Science
• Princeton
• Edward Nelson (passed away September 10th 2014)
  
•  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

• Albuquerque: Computer science, University of New Mexico : Deepak Kapur (Robert Veroff, emeritus ; William McCune died in 2011)
• Las Cruces :
• Knowledge representation, Logic, and Advanced Programming Laboratory (KLAP)
• 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
• 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 Faculty Research Areas
  
• Cornell University, Ithaca
• Mathematical logic
• 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.
• Rochester
  
• Center for Language Sciences
• Department of Computer Science
• Artificial Intelligence
• Theoretical Computer Science : algorithms and computational complexity, and their applications
• Schenectady, Union College: mathematics research
  
• Syracuse Electrical Engineering and Computer Science : formal methods; Andrew C.-Y. Lee
  

North Carolina

• Charlotte (University of North Carolina): Alan Dow (set theory and topology)
• Raleigh (North Carolina State University)
  
• The Logic and Cognitive Science Initiative - Logic courses
  
• Computer science Research Areas include Algorithms and Theory of Computation.
  

Ohio

• Athens (Ohio University) : Philip Ehrlich (philosophy of mathematics) - Todd Eisworth (set theory)
  
• Columbus : Ohio State University
• Department of Mathematics : people interested in Mathematical Logic and Foundations ; lecture notes - logic seminar
• Theory & Algorithms
  
• Philosophy : Stewart Shapiro - Neil Tennant
• Logic, Language, Information and Computation Reading Group
• Kenyon College : Patrick Reeder - Bob Milnikel (mathematical analysis of logic as used in computer science) - Noah Aydin (algebraic coding theory).
  
• Oxford : Miami Mathematics research areas include Set Theory
  

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 : interdisciplinary affiliation of Ph.D. programs in 3 departments: Computer Science, Mathematical Sciences, Philosophy.
• 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

• Vanderbilt University, Nashville : mathematics research : Universal Algebra & Logic seminar.
  

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 ; Philosophy of Mathematics
  
• Denton : foundations, dept. of mathematics, University of North Texas.
• Lubbock : Texas Tech University
• Knowledge Representation Lab
  

Utah

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

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

Washington

Wisconsin

• Madison
• UW–Madison Logic Group Home Page
• Computer Science Department : Theory of Computing
• Milwaukee : Wim Ruitenburg, Marquette University.
• Oshkosh: Joan Hart works in set theory and its applications to general topology, measure theory, and functional analysis.

Wyoming

Other

Argentina

• Buenos Aires : Instituto de Ciencias de la Computación (Facultad de Ciencias Exactas y Naturales) :
• Teoría de la computación
• (obsolete page of one group : Logic, Language and Computability = GLyC: Grupo en Lógica, Lenguaje y Computabilidad)
• Laboratory on Foundations and Tools for Software Engineering (LaFHIS)
• Córdoba : Universal Algebra & Logic Research Group

Australia

• Canberra : Theory (Algorithms, Database Theory, Logic) - programming languages.
• Melbourne, Monash University
• Faculty of Information Technology
  
• John Crossley (emeritus)
• (Mathematics research includes 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
• Theoretical Computer Science Group, Computer Science and Engineering, Faculty of Engineering, University of New South Wales
• CSIRO’s Data61 fusion of NICTA (National ICT Australia) and CSIRO (Commonwealth Scientific and Industrial Research Organisation)’s Digital Productivity
• Trustworthy Systems Research Group
• Philosophy : Mark Colyvan - Nick Smith

Brazil

• Brasilia: Lógica no Avião : non-profit organization to promote and disseminate ideas developed in logic and philosophy.
• Campinas
• Center of Logic, Epistemology and History of Science, Universidade Estadual de Campinas
• Brazilian Logic Society (Sociedade Brasileira de Lógica) (philosophy).
• Florianópolis: Center of philosophy and human sciences, Universidade Federal de Santa Catarina: Grupo Multidisciplinar de Pesquisa em Lógica e Fundamentos da Ciência with Alberto Oscar Cupani ; NEL - Núcleo de Epistemologia e Lógica
• Natal : Group for Logic, Language, Information, Theory and Applications
• Porto Allegre : Instituto de Informática UFRGS : Computer Fundamentals and Formal Methods
• Recife: Theory and Logical Foundations of Computing, Universidade Federal de Pernambuco (obsolete ?)
• Rio
• Formal Methods Group, Informatics Department, PUC-Rio
• formal methods, artificial intelligence, and logic in computer science, Insituto de Computação at Universidade Federal Fluminense.
• 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)
• MEFES - Métodos Formais em Engenharia de Software - Formal Methods in Software Engineering Group - MEFES
• FORMAS - Formalismos e Aplicações Semânticas

China

• Beijing, Institute of Software : George Barmpalias
• Shanghai
  • Mathematical Logic at Fudan (archive): Hao Zhaokuan - Yijia Chen - Yang Ruizhi - Yao Ningyuan
• Nanjing University : Liang Yu

• Bogotá Logic group (Universidad Nacional de Colombia, Universidad de los Andes)
• Universidad Sergio Arboleda: pure mathematics research

India

Association for Logic in India

• Bangalore : Department of Computer Science and Automation (CSA)
• Theoretical Computer Science
• Bombay : Centre for Formal Design and Verification of Software
• Chennai : theoretical computer science in the Institute of Mathematical Sciences, IIT Madras and in Chennai Mathematical Institute
• Calcutta Logic Circle
• Kanpur :
• Department of Mathematics and Statistics, Indian Institute of Technology: Mohua Banerjee: Rough Set Theory and Modal Logics
• Department of Humanities and Social Sciences, Indian Institute of Technology : A. V. Ravishankar Sarma
• Mumbai : School of Technology and Computer Science in Tata Institute of Fundamental Research

Iran

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

Israel

Logic in Israel : obsolete page

• Beersheba : Mathematical and Computational Logic Research Group, Ben Gurion University of the Negev
  
• Haifa
  
• Department of Mathematics : Leah Epstein (theoretical computer science) - Kobi Peterzil
• Computer Science Department (Technion - Israel Institute of Technology) research areas
  
• Theory of Computation Laboratory (TOC)
• Systems and Software Development Laboratory (SSDL)
• Center 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 : Arnon Avron (foundations of mathematics, philosophical logic) - Moti Gitik (forcing, large cardinals, cardinal arithmetic, inner models).
• School of Computer Science

Japan

(locations from West to East)

• Matsuyama : Hiroshi Fujita (Department of mathematics, Graduate School of Science and Engineering, Ehime University) works on descriptive set theory
• Okayama University: Theory of Programming and Artificial Intelligence Group
• Kobe university : Group of Logic, Statistics & Informatics :
• LLP: A Linear Logic Programming Language and its Compiler System
• set theory : Hiroshi Sakai; Sakaé Fuchino
• Makoto Kikuchi
• Osaka, Department of Mathematics and Information Sciences : Masaru Kada (cardinal invariants of the reals, Cichon's diagram, forcing, infinitary combinatorics, compactification)
• Nagoya
• Department of Mathematical Informatics
  
• Nagoya Set Theory Seminar (obsolete)
• 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) - Kota Takeuchi
• Sendai, Tohoku University : Yamazaki Takeshi - 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 (other page - computer science, philosophy...)
• Centre for Discrete Mathematics and Theoretical Computer Science
• Hamilton : The University of Waikato
• Formal Methods Group
• Wellington : Victoria University
• Centre for Logic, Language and Computation (joint centre of mathematics, computer science, philosophy and linguistics)
• In mathematics : logic and algebra : Rod Downey. (Formerly : Dr Colin Bailey and Rob Goldblatt)

Pakistan

• Center for Language Engineering
  

Réunion (France)

• Laboratoire d'Informatique et de Mathématiques

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
  
• Algebra and Logic
• Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences includes mathematical logic
  
• Pereslavl
• Artificial Intelligence Research Center
• St. Petersburg : Laboratory of Mathematical Logic of the Steklov Institute of Mathematics.

Singapore

• Department of mathematics : Frank Stephan (Recursion Theory...), Yang Yue (Recursion Theory, Models of arithmetic), Dilip Raghavan (Mathematical Logic, Set Theory and General Topology)...
  

South Africa

• Le Cap : Computer science research
  • System software verification
  • Theory and applications of automata and grammars

South Korea

• Department of Mathematics, Yonsei University: Byunghan Kim - Sang Mun Kim

Taiwan

Ukraine

• Lviv Algebra and logic

Venezuela

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

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 (a smaller list was at http://www.ipc.shizuoka.ac.jp/~styorio/links.html, now gone)