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

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

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

Hungary - Budapest

Ireland

Italy

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

Italian Society for Logic and Philosophy of Science

Latvia

Malta

Semantics & Verification Research Group

Netherlands

Dutch Association for Theoretical Computer Science

Norway

Poland

Portugal

Romania

Bucharest logic & security - logic seminar
Department Of Theoretical Philosophy And Logic

Serbia

Mathematical Institute, Belgrade :

Slovakia

Spain

Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España

List of conferences on model theory

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

Sweden

Switzerland

Swiss Society for Logic and Philosophy of Science and its young branch Swiss Graduate Society for Logic and Philosophy of Science

United Kingdom

British Logic Colloquium

North America

Canada

Mexico

Academia Mexicana de Lógica
Sociedad Mexicana de Inteligencia Artificial

USA

Arizona

California

Los Angeles area

San Francisco area

Colorado

Conneticut

Washington, D.C.

Delaware (University of Delaware, Newark)

Florida

Georgia (Atlanta)

Hawaii

Idaho

Illinois

Indiana

Iowa

Kansas

Maryland

Massachusetts

Michigan

Minnesota

Missouri

Nebraska

Nevada

New Hampshire

New Jersey

New Mexico

New York

North Carolina

Ohio

Pennsylvania

South Carolina

Tennessee

Texas

Utah

Virginia

Washington

University of Washington : theory of computation

Wisconsin

Wyoming

Computer Science : Applications of logic and formal methods in computer science: Formal Methods and Theorem Proving...

Other

A Webpage for Logicians in ASL Asia-Pacific Region

Argentina

INFINIS is a French-Argentinean Laboratory (Laboratoire Internationale Associé) of research in Computer Science, between CNRS and Université Paris Diderot, on the one hand, and Consejo Nacional de Investigaciones Cientéficas y Técnicas (CONICET) and the Universidad de Buenos Aires, on the other.

Australia

Australasian Association for Logic

Brazil

China

Colombia

India

Association for Logic in India

Iran

Logicians in Iran
Iranian association for logic

Israel

Logic in Israel : obsolete page

Japan

A list of RIMS Set Theory Workshops

(locations from West to East)

New Zealand

Pakistan

Réunion (France)

Russia

Singapore

South Africa

South Korea

Korean Association for Mathematical Logic

Taiwan

Tony Tan (Department of Computer Science and Information Engineering, College of Electrical Engineering and Computer Science, National Taiwan University)

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