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