Logic and Foundations Institutions
|
|
|
See also:
- Science: Math: Academic Departments (955)
- 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.
