Top > Science > Math > Logic and Foundations > Institutions > Europe

» (Austria) Linz - Hagenberg - Fuzzy Logic Laboratorium, Softwarepark Hagenberg / Johannes Kepler Universität. Lectures, seminars, publications, staff, projects, other resources.

» (Austria) University of Vienna - Department of Formal Logic.

» (Austria) Vienna University of Technology - Group in Applications of Formal Logic.

» (Belgium) Ghent - Centre for Logic and Philosophy of Science.

» (Belgium) University of Mons-Hainault - Mathematical Logic.

» Compulog Net - Europe's Network of Excellence in Computational Logic. Events, educational resources, links.

» (Czech Republic) Charles University - Constraint and Logic Programming research group. People, research projects, publications and resources.

» (Czech Republic) Prague - Charles University, Logic Department.

» (Czech Republic) Prague - Academy of Science, Mathematical Institute, Logic Seminar.

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

» ERCIM Working Group on Constraints - Background, objectives, members and workshops.

» (Finland) Helsinki - Logic Group.

» (France) Paris 1 - Logic Seminar.

» (France) Paris 7 - Mathematical Logic Team.

» (Hungary) Budapest - Set Theory and Topology.

» Interest Group in Pure and Applied Logics - Sponsored by The European Foundation for Logic, Language and Information (FoLLI). Publications and preprints.

» (Italy) Istituto di Elaborazione della Informazione - Information and news on research activities.

» (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 different fields. The group is characterized by a strong interdisciplinary approach that combines Computer Science, Philosophy, and Linguistics, and relies on Logic as an unifying paradigm. On the application side, main emphasis is given on the use of ontologies for electronic commerce, enterprise integration, knowledge management, and information access to the Web

» (Netherlands) Amsterdam - Dutch Research School in Logic (OZSL).

» (Netherlands) Amsterdam - Institute for Logic, Language and Computation.

» (Russia) Moscow - Logic Department.

» (Russia) St. Petersburg - Laboratory of Mathematical Logic of the Steklov Institute of Mathematics.

» (Spain) Barcelona - Logic, History and Philosophy of Science.

» (Spain) Universidad Politécnica de Madrid - Computational Logic, Implementation, and Parallelism Lab.

» (Sweden) Uppsala - Mathematical Logic.

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory and may have been modified by clixShare