(Austria) University of Vienna - Department of Formal Logic. (France) Paris 7 - Mathematical Logic Team. [Flags are language selectors] 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. (Netherlands) Amsterdam - Institute for Logic, Language and Computation. (Austria) Vienna University of Technology - Group in Applications of Formal Logic. (Hungary) Budapest - Set Theory and Topology. (Belgium) University of Mons-Hainault - Mathematical Logic. (Russia) St. Petersburg - Laboratory of Mathematical Logic of the Steklov Institute of Mathematics. (Austria) Linz - Hagenberg - Fuzzy Logic Laboratorium, Softwarepark Hagenberg / Johannes Kepler Universität. Lectures, seminars, publications, staff, projects, other resources. (Czech Republic) Charles University - Constraint and Logic Programming research group. People, research projects, publications and resources. (Spain) Universidad Politécnica de Madrid - Computational Logic, Implementation, and Parallelism Lab. (Italy) Istituto di Elaborazione della Informazione - Information and news on research activities. ERCIM Working Group on Constraints - Background, objectives, members and workshops. Interest Group in Pure and Applied Logics - Sponsored by The European Foundation for Logic, Language and Information (FoLLI). Publications and preprints. (Belgium) Ghent - Centre for Logic and Philosophy of Science. (Netherlands) Dutch Research School in Logic - The aim of the Onderzoeksschool Logica (OZSL) is to provide a forum for researchers in the Netherlands whose research involves logic. (Czech Republic) Ostrava - Institute for Research and Applications of Fuzzy Modeling. Staff, projects, publications. (Czech Republic) Prague - Academy of Science, Mathematical Institute, Logic Seminar. (France) Paris 1 - Logic Seminar.