the entire directory only in this category

Logic and Foundations Institutions

You have found the way to Institutions on Logic and Foundations:

PowerTao Home » Science » Math » Logic and Foundations » Institutions

Europe  (38) North America  (17)

See also:

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

(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