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).
Created by Sylvain Poirier, author of this site of introduction to set theory and
foundations of mathematics and physics, in July 2012 (see note).
Europe
Austria
Belgium
Centre national de recherches
de Logique (CNRL / NCNL) aims to fpster and coordinate the
mathematical and philosophical research in logic among Belgian
university institutions.
The Belgian Society for Logic and
Philosophy of Science (BSLPS) is aimed at promoting Belgian
research in logic and philosophy of science by inviting
distinguished researchers to discuss their work.
Bulgaria
Czech Republic
- Pilsen (University of West Bohemia)
- Prague
- Charles University
- Academy of 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
Estonia
Finland
France
Paris and surroundings
Other French regions
- Caen
- 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
- 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
- Bonn (Rheinische Friedrich-Wilhelms-Universität)
- Braunschweig : Theoretical
Informatics
- Bremen
- 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
- Dresden (Technische Universität Dresden):
- Duisburg - Essen Algebra und Logik
- Erlangen : Department
of Computer Science
- Frankfurt : Mathematical
Computer Science
- Freiburg :
- Hagen : Fakultät
für Mathematik und Informatik
- Hannover : Faculty
of Electrical Engineering and Computer Science
- Heidelberg : Mathematical
Logic and Theoretical Computer Science workgroup
- Ilmenau : Institute
of Theoretical Computer Science
- Jena : theoretical
informatics : Computational
complexity, Complexity
theory and logic.
- Kaiserslautern : Department of
computer science
- Karlsruhe
- Kiel : Logic
at Christian-Albrechts-Universität
- Koblenz
: Faculty of Computer Science
- 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):
- Paderborn Department
of computer science
- Passau Department
of Informatics and Mathematics chairs
and Research
- Potsdam
- Saarbrücken
- Siegen Mathematische
Logik und Theoretische Informatik
- Trier Theoretical
Computer Science
- Tübingen, Eberhard-Karls-Universität :
- Ulm :
- Wadern : Schloss
Dagstuhl - Leibniz Center for Informatics International
conference and research center for computer science.
- Würzburg
Greece - Athens
Hungary - Budapest
- Alfréd Rényi Institute of Mathematics, Hungarian Academy of
Sciences.
- Eötvös University
Ireland
Italy
Italian Association of
Logic and its applications
Italian Society for Logic
and Philosophy of Science
Latvia
Netherlands
Dutch Association for Theoretical
Computer Science
Norway
Poland
Portugal
Slovakia
Spain
Logic
in Spain and a list of conferences on model theory
Summa
logicae : bibliography and congresses "Tools for teaching
logic"
Sweden
- Göteborg (Gothenburg)
- Stockholm
- Umeå philosophy
- Uppsala
Switzerland
United Kingdom
British Logic
Colloquium
- Bath : Mathematical
Foundations and Applications, Department of Computer
Science
- Birmingham :
- Cambridge
- Canterbury : Programming
Languages and Systems Group
- Bristol :
- Durham : Algorithms
and complexity
- Edinburgh:
- Essex :
- Glasgow
- Leeds
- The Leeds
Logic Group : computability theory, model theory, set
theory and foundations, proof theory, and in applications to
algebra, analysis and theoretical computer science.
- School of computing
- Liverpool Computer
Science Department
- Leicester :
Computer
Science
- London
- 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
- Sheffield Department
of Computer Science
- Swansea University, Wales :
- St Andrews, Scotland: Computational
Logic group, Department of Computer Science, University of
St. Andrews. Members, events, publications, collaborators.
- Stirling, Scotland : Computing
Science and Mathematics
- Warwick Foundations
of Computer Science
- York : Department of
computer science
North America
Canada
Mexico
USA
Arizona
- Phoenix : Tempe (Arizona State University) :
California
Los Angeles area
San Francisco area
Colorado
Conneticut
Washington, D.C.
Delaware (University of Delaware, Newark)
Florida
Georgia
Hawaii
Idaho
Illinois
- Urbana : University of Illinois at Urbana-Champaign
- Chicago
Indiana
- Bloomington (Indiana University)
- South Bend : University of Notre Dame
Iowa
Kansas
Maryland
- University of Maryland at College Park
Massachusetts
Michigan
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
New Hampshire
New Jersey
- Newark : Rutgers University
- Princeton
New Mexico
New York
North Carolina
Ohio
LAOS:
Logicians At Ohio State. An interdisciplinary group of
scholars with research interests in logic
Pennsylvania
South Carolina
- College of Charleston : Renling Jin :
nonstandard analysis, set theory, model theory...
Tennessee
Texas
Utah
Virginia
Wisconsin
Wyoming
Computer
Science Faculty Research Areas - University of Wyoming
Logic Society
Other
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
- Sydney
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
- Salvador (Bahia) : Research
Group in Logic, Sets and Topology
- 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
India
Association for Logic in India
Iran
Logicians
in Iran
- Teheran
- Institute for Studies in Theoretical Physics and Mathematics
(IPM)
Israel
Logic in Israel : obsolete page
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
- 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
Pakistan
Réunion (France)
Russia
Singapore
South Korea
Ukraine
Venezuela
Still incomplete, more links will be
added later.
The creation of this page used the whole of the
following sources, thus making them obsolete (the links were not
copied but completely updated and rebuit, and many more were added):
- A big thanks to Anton
Setzer for having made, a few years ago, by far the
biggest list of links
to logic-servers world wide, though a majority of his
links were broken.
- world.logic.at
- dmoz : research groups and centers (a dying portal with a dire
lack of editors since many left, including myself, repelled by
wrong management staff and absurd bureaucratic rules)