Multi Search Add Bookmark! Make MetaStrike Your Homepage

Home:   Science:   Math:   Logic and Foundations:   Institutions

See Olso:

North America Europe

Other Category:

Science: Math: Academic Departments Science: Math: Algebra: Category Theory: Research Groups

Sites:

(Australia) Canberra  - http://cslab.anu.edu.au/ar/  Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems.  (Israel) Haifa  - http://www.cs.technion.ac.il/~admlogic/lcoll.html  Logic Seminar.  (Israel) Ben Gurion University of the Negev  - http://www.cs.bgu.ac.il/~kojman/BGULOGIC.html  Mathematical and Computational Logic Research Group.  (Japan) Kobe  - http://kurt.cla.kobe-u.ac.jp/  Foundations of Mathematics and Computer Science.  Linear Naming and Computation  - http://www.linearity.org/  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 technology.  (Colombia) Bogotá  - http://www.matematicas.unal.edu.co/villaveces/logica.html  Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes).  Logic at Leeds Homepage  - http://www.amsta.leeds.ac.uk/pure/logic/  Information on the Leeds University Logic Group