Florida, University of (Popularity: )

Logic and Set Theory.

(Spain) Universidad Politécnica de Madrid (Popularity: )

Computational Logic, Implementation, and Parallelism Lab.

ERCIM Working Group on Constraints (Popularity: )

Background, objectives, members and workshops.

Interest Group in Pure and Applied Logics (Popularity: )

Sponsored by The European Foundation for Logic, Language and Information (FoLLI). Publications and preprints.

University of Maryland at College Park (Popularity: )

Computer Science Department, Active Logic Group.

University of St. Andrews (Popularity: )

Department of Computer Science, Computational Logic group. Members, events, publications, collaborators.

Compulog Net (Popularity: )

Europe's Network of Excellence in Computational Logic. Events, educational resources, links.

University of Oxford (Popularity: )

Mathematical Institute, Mathematical Logic group. Members, seminars. Home of the Model Theoretic Exchange.

(Austria) Vienna University of Technology (Popularity: )

Group in Applications of Formal Logic.

(Czech Republic) Prague (Popularity: )

Academy of Science, Mathematical Institute, Logic Seminar.

(Italy) LADSEB-CNR - Ontological Foundations (Popularity: )

Research group in ontological foundations of knowledge engineering and conceptual modeling. The group performs basic ...

Michigan, University of (Popularity: )

Logic and Foundations.

(Czech Republic) Charles University (Popularity: )

Constraint and Logic Programming research group. People, research projects, publications and resources.

(Austria) Linz - Hagenberg (Popularity: )

Fuzzy Logic Laboratorium, Softwarepark Hagenberg / Johannes Kepler Universität. Lectures, seminars, publications, staff, projects, other ...

(France) Paris 7 (Popularity: )

Mathematical Logic Team.

(Netherlands) Amsterdam (Popularity: )

Dutch Research School in Logic (OZSL).

University of Calgary (Popularity: )

Logic Research Group.

University of Leeds (Popularity: )

Mathematical Logic Group. Research areas: recursion theory, model theory, set theory and foundations, proof theory, ...

University of St. Andrews (Popularity: )

Arché: Centre for the Philosophy of Logic, Language, Mathematics and Mind.

Freiburg (Popularity: )

Institute for Mathematical Logic and Foundations of Mathematics.