(Netherlands) Amsterdam
- Dutch Research School in Logic (OZSL).
- http://www.ozsl.uu.nl/

(Italy) LADSEB-CNR - Ontological Foundations
- Research group in ontological foundations of knowledge engineering and conceptual modeling. The group performs basic and applied research on the ontological foundations of knowledge engineering and conceptual modeling, exploring the role of ontology in d
- http://www.loa-cnr.it/

ERCIM Working Group on Constraints
- Background, objectives, members and workshops.
- http://contraintes.inria.fr/~soliman/ercim/

(Czech Republic) Prague
- Charles University, Logic Department.
- http://logika.ff.cuni.cz/artsys/index.php

(Sweden) Uppsala
- Mathematical Logic.
- http://www.math.uu.se/research/groups/logic.php

(Russia) Moscow
- Logic Department.
- http://www.logic.ru/Engl/depart/

ECOR: European centre for ontological research
- The European Center for Ontological Research represents a new approach in applying ontology to a variety of problems in information science and related areas. The Center draws on the expertise and skills of existing institutions throughout Europe.
- http://www.ecor.uni-saarland.de

(Italy) Istituto di Elaborazione della Informazione
- Information and news on research activities.
- http://www.isti.cnr.it/

(Spain) Universidad Politécnica de Madrid
- Computational Logic, Implementation, and Parallelism Lab.
- http://www.clip.dia.fi.upm.es/

(Czech Republic) Charles University
- Constraint and Logic Programming research group. People, research projects, publications and resources.
- http://kti.ms.mff.cuni.cz/~bartak/clp/

(Czech Republic) Ostrava
- Institute for Research and Applications of Fuzzy Modeling. Staff, projects, publications.
- http://ac030.osu.cz/irafm/

(Austria) Linz - Hagenberg
- Fuzzy Logic Laboratorium, Softwarepark Hagenberg / Johannes Kepler Universität. Lectures, seminars, publications, staff, projects, other resources.
- http://www.flll.uni-linz.ac.at/

Interest Group in Pure and Applied Logics
- Sponsored by The European Foundation for Logic, Language and Information (FoLLI). Publications and preprints.
- http://theory.doc.ic.ac.uk/tfm/igpl.html

(France) Paris 1
- Logic Seminar.
- http://www-philo.univ-paris1.fr/engsemP1.html

(Spain) Barcelona
- Logic, History and Philosophy of Science.
- http://www.ub.es/logica/Dpt-a.html

(Austria) University of Vienna
- Department of Formal Logic.
- http://www.logic.univie.ac.at/

(Russia) St. Petersburg
- Laboratory of Mathematical Logic of the Steklov Institute of Mathematics.
- http://logic.pdmi.ras.ru/

(Belgium) University of Mons-Hainault
- Mathematical Logic.
- http://www.umh.ac.be/math/logic/

Compulog Net
- Europe's Network of Excellence in Computational Logic. Events, educational resources, links.
- http://kmi.open.ac.uk/compulog/

(Hungary) Budapest
- Set Theory and Topology.
- http://www.math-inst.hu/pub/setop/setop.html

(Austria) Vienna University of Technology
- Group in Applications of Formal Logic.
- http://www.logic.at/

(France) Paris 7
- Mathematical Logic Team.
- http://www.logique.jussieu.fr/index-english.html

(Finland) Helsinki
- Logic Group.
- http://www.logic.math.helsinki.fi/

(Belgium) Ghent
- Centre for Logic and Philosophy of Science.
- http://logica.rug.ac.be/centrum/