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

Department of Formal Logic.

Group in Applications of Formal Logic.

Centre for Logic and Philosophy of Science.

Mathematical Logic.

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

Institute for Research and Applications of Fuzzy Modeling. Staff, projects, publications.

Charles University, Logic Department.

Academy of Science, Mathematical Institute, Logic Seminar.

Logic Group.

Logic Seminar.

Mathematical Logic Team.

Set Theory and Topology.

Information and news on research activities.

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

Dutch Research School in Logic (OZSL).

Institute for Logic, Language and Computation.

Logic Department.

Laboratory of Mathematical Logic of the Steklov Institute of Mathematics.

Logic, History and Philosophy of Science.

Computational Logic, Implementation, and Parallelism Lab.

Mathematical Logic.

Europe's Network of Excellence in Computational Logic. Events, educational resources, links.

Background, objectives, members and workshops.

Sponsored by The European Foundation for Logic, Language and Information (FoLLI). Publications and preprints.