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).
Sign the petition
to call for action in Ukraine


Also another petition for US citizens only

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

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

Germany

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

Greece - Athens

Hungary - Budapest

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

Switzerland

United Kingdom

British Logic Colloquium

North America

Canada

Mexico

USA

Arizona

California

Los Angeles area

San Francisco area

Colorado

Conneticut

Washington, D.C.

Delaware (University of Delaware, Newark)

Florida

Georgia

Hawaii

Idaho

Illinois

Indiana

Iowa

Kansas

Maryland

Massachusetts

Michigan

Minnesota

Missouri

Nebraska

Nevada

New Hampshire

New Jersey

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

Tennessee

Texas

Utah

Virginia

Wisconsin

Wyoming

Computer Science Faculty Research Areas - University of Wyoming Logic Society

Other

Australia

Brazil

Colombia

India

Association for Logic in India

Iran

Logicians in Iran

Israel

Logic in Israel  : obsolete page

Japan

(from West to East)

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