| bisoy.org | 

Bisoy.org Directory Top > Science > Math > Logic_and_Foundations > Institutions   

See also:

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

This category in other languages:
	French  (10)

• (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