Directory Help Search only in EuropeSearch the Web

Europe

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

Go to Directory Home

Categories

Germany (5) United Kingdom (8)

Web Pages

Viewing in Google PageRank order               View in alphabetical order

	(Italy) Istituto di Elaborazione della Informazione - http://www.isti.cnr.it/ Information and news on research activities.
	(Belgium) Ghent - http://logica.rug.ac.be/centrum/ Centre for Logic and Philosophy of Science.
	(Netherlands) Amsterdam - http://www.illc.uva.nl/ Institute for Logic, Language and Computation.
	ERCIM Working Group on Constraints - http://contraintes.inria.fr/~soliman/ercim/ Background, objectives, members and workshops.
	(Netherlands) Amsterdam - http://www.ozsl.uu.nl/ Dutch Research School in Logic (OZSL).

	(Russia) St. Petersburg - http://logic.pdmi.ras.ru/ Laboratory of Mathematical Logic of the Steklov Institute of Mathematics.
	(Russia) Moscow - http://logic.ru/ Logic Department.
	(Italy) LADSEB-CNR - Ontological Foundations - http://www.loa-cnr.it/ 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
	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.
	(Spain) Universidad Politécnica de Madrid - http://www.clip.dia.fi.upm.es/ Computational Logic, Implementation, and Parallelism Lab.

	(Finland) Helsinki - http://www.logic.math.helsinki.fi/ Logic Group.
	(Austria) University of Vienna - http://www.logic.univie.ac.at/ Department of Formal Logic.
	(Spain) Barcelona - http://www.ub.es/logica/Dpt-a.html Logic, History and Philosophy of Science.
	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.
	(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.

	(France) Paris 7 - http://www.logique.jussieu.fr/index-english.html Mathematical Logic Team.
	(Czech Republic) Prague - http://logika.ff.cuni.cz/artsys/index.php Charles University, Logic Department.
	(Austria) Vienna University of Technology - http://www.logic.at/ Group in Applications of Formal Logic.
	(Sweden) Uppsala - http://www.math.uu.se/research/groups/logic.php Mathematical Logic.
	(Czech Republic) Prague - http://www.math.cas.cz/~krajicek/logika.html Academy of Science, Mathematical Institute, Logic Seminar.

	(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.
	(France) Paris 1 - http://www-philo.univ-paris1.fr/engsemP1.html Logic Seminar.
	(Hungary) Budapest - http://www.math-inst.hu/pub/setop/setop.html Set Theory and Topology.

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

Modified by Google - ©2009 Google
Advertise with Us - Jobs, Press, Cool Stuff...