Institutions (Logic and Foundations)

Institutions further on these related pages:

Europe North America

Top/Science/Math/Academic Departments Top/Science/Math/Algebra/Category Theory/Research Groups

Institutions Sites:

Linear Naming and Computation Linear Naming and Computation: A distributed research group associated with the Church Project working on the design and implementation of new forms of procedure calling protocols based on the notion of linear naming, together with relevant supporting formal tools and implementation t (Institutions) http://www.linearity.org/ (Israel) Haifa (Israel) Haifa: Logic Seminar. (Institutions) http://www.cs.technion.ac.il/~admlogic/lcoll.html (Israel) Ben Gurion University of the Negev (Israel) Ben Gurion University of the Negev: Mathematical and Computational Logic Research Group. (Institutions) http://www.cs.bgu.ac.il/~kojman/BGULOGIC.html (Australia) Canberra (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. (Institutions) http://cslab.anu.edu.au/ar/ (Colombia) Bogotá (Colombia) Bogotá: Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes). (Institutions) http://www.matematicas.unal.edu.co/villaveces/logica.html (Japan) Kobe (Japan) Kobe: Foundations of Mathematics and Computer Science. (Institutions) http://kurt.cla.kobe-u.ac.jp/