Science » Math » Logic and Foundations » Institutions (index): ABC Directory

search for

Category: Science » Math » Logic and Foundations » Institutions

	Institutions	Records 1-10 of 10
		Order by Date Added \| Popularity \| Alphabet

	Aachen (Popularity: ) http://www-mgi.informatik.rwth-aachen.de/ Mathematical Foundations of Computer Science.
	(Spain) Universidad Politécnica de Madrid (Popularity: ) http://www.clip.dia.fi.upm.es/ Computational Logic, Implementation, and Parallelism Lab.
	(Russia) St. Petersburg (Popularity: ) http://logic.pdmi.ras.ru/ Laboratory of Mathematical Logic of the Steklov Institute of Mathematics.
	(Austria) University of Vienna (Popularity: ) http://www.logic.univie.ac.at/ Department of Formal Logic.
	(Austria) Linz - Hagenberg (Popularity: ) http://www.flll.uni-linz.ac.at/ Fuzzy Logic Laboratorium, Softwarepark Hagenberg / Johannes Kepler Universität. Lectures, seminars, publications, staff, projects, other resources.
	SRI International (Popularity: ) http://www.csl.sri.com/ Computer Science Laboratory: Formal Methods and Dependable Systems; Rewriting Logics and Systems.
	Stanford (Popularity: ) http://logic.stanford.edu/ Logic Group.
	(Netherlands) Amsterdam (Popularity: ) http://www.illc.uva.nl/ Institute for Logic, Language and Computation.
	(Finland) Helsinki (Popularity: ) http://www.logic.math.helsinki.fi/ Logic Group.
	(Austria) Vienna University of Technology (Popularity: ) http://www.logic.at/ Group in Applications of Formal Logic.