Directory of Europe Resources

Home > Science > Math > Logic and Foundations > Research Groups and Centers > Europe

Subcategories

• Germany
• United Kingdom

Resources in This Category

• (Austria) Linz - Hagenberg

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

• (Austria) University of Vienna

  http://www.logic.univie.ac.at/
  Department of Formal Logic.

• (Austria) Vienna University of Technology

  http://www.logic.at/
  Group in Applications of Formal Logic.

• (Belgium) Ghent

  http://logica.ugent.be/centrum/
  Centre for Logic and Philosophy of Science.

• (Belgium) University of Mons-Hainault

  http://www.umh.ac.be/math/logic/
  Mathematical Logic.

• (Czech Republic) Charles University

  http://kti.ms.mff.cuni.cz/~bartak/clp/
  Constraint and Logic Programming research group. People, research projects, publications and resources.

• (Czech Republic) Ostrava

  http://irafm.osu.cz/
  Institute for Research and Applications of Fuzzy Modeling. Staff, projects, publications.

• (Czech Republic) Prague

  http://www.math.cas.cz/~thapen/seminar.html
  Academy of Science, Mathematical Institute, Logic Seminar.

• (France) Paris 1

  http://www-philo.univ-paris1.fr/Joinet/NEW/SeminairesOrganises/LogiqueEnSorbonne/engsemP1.html
  Logic Seminar.

• (France) Paris 7

  http://www.logique.jussieu.fr/
  Mathematical Logic Team. [Flags are language selectors]

• (Hungary) Budapest

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

• (Italy) Istituto di Elaborazione della Informazione

  http://www.isti.cnr.it/
  Information and news on research activities.

• (Netherlands) Amsterdam

  http://www.illc.uva.nl/
  Institute for Logic, Language and Computation.

• (Netherlands) Dutch Research School in Logic

  http://www.math.ru.nl/~mgehrke/OzSL/OzSL.htm
  The aim of the Onderzoeksschool Logica (OZSL) is to provide a forum for researchers in the Netherlands whose research involves logic.

• (Russia) St. Petersburg

  http://logic.pdmi.ras.ru/
  Laboratory of Mathematical Logic of the Steklov Institute of Mathematics.

• (Spain) Universidad Politécnica de Madrid

  http://www.clip.dia.fi.upm.es/
  Computational Logic, Implementation, and Parallelism Lab.

• ECOR: European centre for ontological research

  http://www.ecor.uni-saarland.de/
  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

  http://contraintes.inria.fr/~soliman/ercim/
  Background, objectives, members and workshops.

• Interest Group in Pure and Applied Logics

  http://www.cin.ufpe.br/~igpl/
  Sponsored by The European Foundation for Logic, Language and Information (FoLLI). Publications and preprints.

 

Home > Science > Math > Logic and Foundations > Research Groups and Centers > Europe

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us