Directory Help Search only in Research Groups and CentersSearch the Web

Research Groups and Centers

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

Go to Directory Home

Categories

Europe (39) North America (16)

Web Pages

Viewing in Google PageRank order               View in alphabetical order

	(Australia) Canberra - http://csl.rsise.anu.edu.au/logic Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems.
	(Japan) Kobe - http://kurt.scitec.kobe-u.ac.jp/ Foundations of Mathematics and Computer Science.
	(Israel) Haifa - http://www.cs.technion.ac.il/~admlogic/lcoll.html Logic Seminar.
	(Israel) Ben Gurion University of the Negev - http://www.cs.bgu.ac.il/~kojman/BGULOGIC.html Mathematical and Computational Logic Research Group.
	(Colombia) Bogotá - http://www.matematicas.unal.edu.co/villaveces/logica.html Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes).

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...