(Australia) Canberra «
http://csl.rsise.anu.edu.au/logic | | 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á «
http://www.matematicas.unal.edu.co/villaveces/logica.html | | Logic at bogotá (universidad nacional de colombia , universidad de los andes). |
(Israel) Ben Gurion University of the Negev «
http://www.cs.bgu.ac.il/~kojman/BGULOGIC.html | | Mathematical and computational logic research group. |
(Israel) Haifa «
http://www.cs.technion.ac.il/~admlogic/lcoll.html | | Logic seminar. |
(Japan) Kobe «
http://kurt.scitec.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 t |
Logic at Leeds Homepage «
http://www.amsta.leeds.ac.uk/pure/logic/ | | Information on the leeds university logic group |
