Logic and Foundations Institutions
You have found the way to Institutions on Logic and Foundations:
See also:
- Europe (38)
- North America (17)
- 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.
The content of this page
about Logic and Foundations Institutions
is based on the Open Directory Project and has been modified and powered by FarODP - Free Online Games
All other content Copyright © 2005 PowerTao Directory - All Rights Reserved.