Top > Science > Math > Logic and Foundations > Institutions

  See also:

• Science: Math: Academic Departments  (974)
• Science: Math: Algebra: Category Theory: Research Groups  (13)

This category in other languages:
	French  (11)

» (Australia) Canberra - Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems.

» (Colombia) Bogotá - Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes).

» (Israel) Ben Gurion University of the Negev - Mathematical and Computational Logic Research Group.

» (Israel) Haifa - Logic Seminar.

» (Japan) Kobe - Foundations of Mathematics and Computer Science.

» Logic at Leeds Homepage - Information on the Leeds University Logic Group

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

The content of this directory is based on the Open Directory and may have been modified by clixShare