Sites

Florida, University of (Popularity: )

Logic and Set Theory.

ERCIM Working Group on Constraints (Popularity: )

Background, objectives, members and workshops.

University of Leeds (Popularity: )

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

(Austria) Linz - Hagenberg (Popularity: )

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

(Czech Republic) Prague (Popularity: )

Academy of Science, Mathematical Institute, Logic Seminar.

Michigan, University of (Popularity: )

Logic and Foundations.

University of Maryland at College Park (Popularity: )

Computer Science Department, Active Logic Group.

University of Oxford (Popularity: )

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

(Czech Republic) Prague (Popularity: )

Charles University, Logic Department.

(France) Paris 1 (Popularity: )

Logic Seminar.

(Czech Republic) Charles University (Popularity: )

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

Freiburg (Popularity: )

Institute for Mathematical Logic and Foundations of Mathematics.

SRI International (Popularity: )

Computer Science Laboratory: Formal Methods and Dependable Systems; Rewriting Logics and Systems.

University of St. Andrews (Popularity: )

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

Urbana-Champaign, University of Illinois (Popularity: )

Logic.

Indiana University (Popularity: )

Group in Pure and Applied Logic.

(Austria) Vienna University of Technology (Popularity: )

Group in Applications of Formal Logic.

(France) Paris 7 (Popularity: )

Mathematical Logic Team.

(Netherlands) Amsterdam (Popularity: )

Dutch Research School in Logic (OZSL).

(Russia) St. Petersburg (Popularity: )

Laboratory of Mathematical Logic of the Steklov Institute of Mathematics.