Web Directory

» (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/

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

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

» (Belgium) Ghent
   Centre for Logic and Philosophy of Science.
   http://logica.ugent.be/centrum/

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

» (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) Prague
   Charles University, Logic Department.
   http://logika.ff.cuni.cz/artsys/index.php

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

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

» (France) Paris 7
   Mathematical Logic Team. [Flags are language selectors]
   http://www.logique.jussieu.fr/

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

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

» (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 di
   http://www.loa-cnr.it/

» (Netherlands) Amsterdam
   Institute for Logic, Language and Computation.
   http://www.illc.uva.nl/

» (Russia) Moscow
   Logic Department.
   http://logic.ru/

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

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

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

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

» 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/

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

» Interest Group in Pure and Applied Logics
   Sponsored by The European Foundation for Logic, Language and Information (FoLLI). Publications and preprints.
   http://www.cin.ufpe.br/~igpl/