Directory > Science > Math > Logic and Foundations > Institutions > Europe (Spain) Universidad Politécnica de Madrid Computational Logic, Implementation, and Parallelism Lab. http://www.clip.dia.fi.upm.es/ Reviews Rating: Not yet Rated
Whois Check
(Italy) Istituto di Elaborazione della Informazione Information and news on research activities. http://www.iei.pi.cnr.it/ Reviews Rating: Not yet Rated
Whois Check
(Czech Republic) Charles University Constraint and Logic Programming research group. People, research projects, publications and resources. http://kti.ms.mff.cuni.cz/~bartak/clp/ Reviews Rating: Not yet Rated
Whois Check
(Czech Republic) Ostrava Institute for Research and Applications of Fuzzy Modeling. Staff, projects, publications. http://ac030.osu.cz/irafm Reviews Rating: Not yet Rated
Whois Check
(Austria) Linz - Hagenberg Fuzzy Logic Laboratorium, Softwarepark Hagenberg / Johannes Kepler Universität. Lectures, seminars, publications, staff, projects, other resources. http://www.flll.uni-linz.ac.at/ Reviews Rating: Not yet Rated
Whois Check
ERCIM Working Group on Constraints Background, objectives, members and workshops. http://www.cwi.nl/ERCIM/WG/Constraints/ Reviews Rating: Not yet Rated
Whois Check
Interest Group in Pure and Applied Logics Sponsored by The European Foundation for Logic, Language and Information (FoLLI). Publications and preprints. http://theory.doc.ic.ac.uk/tfm/igpl.html Reviews Rating: Not yet Rated
Whois Check
(France) Paris 1 Logic Seminar. http://www-philo.univ-paris1.fr/engsemP1.html Reviews Rating: Not yet Rated
Whois Check
(Netherlands) Amsterdam Dutch Research School in Logic (OZSL). http://www.ozsl.uva.nl/ Reviews Rating: Not yet Rated
Whois Check
(Spain) Barcelona Logic, History and Philosophy of Science. http://www.ub.es/logica/Dpt-a.html Reviews Rating: Not yet Rated
Whois Check
(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. http://www.ladseb.pd.cnr.it/infor/ontology/ontology.html Reviews Rating: Not yet Rated
Whois Check
(Italy) University of Pavia Computational Philosophy Lab. http://philos.unipv.it/ Reviews Rating: Not yet Rated
Whois Check
(Austria) University of Vienna Department of Formal Logic. http://www.logic.univie.ac.at/ Reviews Rating: Not yet Rated
Whois Check
(Sweden) Uppsala Mathematical Logic. http://www.math.uu.se/logik/ Reviews Rating: Not yet Rated
Whois Check
(Russia) St. Petersburg Laboratory of Mathematical Logic of the Steklov Institute of Mathematics. http://logic.pdmi.ras.ru/ Reviews Rating: Not yet Rated
Whois Check
(Czech Republic) Prague Charles University, Logic Department. http://www.cuni.cz/~jirkup/logika/ Reviews Rating: Not yet Rated
Whois Check
(Belgium) University of Mons-Hainault Mathematical Logic. http://www.umh.ac.be/math/logic/ Reviews Rating: Not yet Rated
Whois Check
Compulog Net Europe's Network of Excellence in Computational Logic. Events, educational resources, links. http://kmi.open.ac.uk/compulog/ Reviews Rating: Not yet Rated
Whois Check
(Czech Republic) Prague Academy of Science, Mathematical Institute, Logic Seminar. http://www.math.cas.cz/~krajicek/logika.html Reviews Rating: Not yet Rated
Whois Check
(Hungary) Budapest Set Theory and Topology. http://www.math-inst.hu/pub/setop/setop.html Reviews Rating: Not yet Rated
Whois Check
(Austria) Vienna University of Technology Group in Applications of Formal Logic. http://www.logic.at/ Reviews Rating: Not yet Rated
Whois Check
(France) Paris 7 Mathematical Logic Team. http://www.logique.jussieu.fr/index-english.html Reviews Rating: Not yet Rated
Whois Check
(Russia) Moscow Logic Department. http://logic.radio-msu.net/Engl/depart/ Reviews Rating: Not yet Rated
Whois Check
(Finland) Helsinki Logic Group. http://www.logic.math.helsinki.fi/ Reviews Rating: Not yet Rated
Whois Check
(Belgium) Ghent Centre for Logic and Philosophy of Science. http://logica.rug.ac.be/centrum/ Reviews Rating: Not yet Rated
Whois Check
(Netherlands) Amsterdam Institute for Logic, Language and Computation. http://www.illc.uva.nl/ Reviews Rating: Not yet Rated
Whois Check
|