- (Israel) Haifa - http://www.cs.technion.ac.il/~admlogic/lcoll.html
- (Israel) Ben Gurion University of the Negev - http://www.cs.bgu.ac.il/~kojman/bgulogic.html
- Mathematical and Computational Logic Research Group.
- (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
- (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.
- (Japan) Kobe - http://kurt.scitec.kobe-u.ac.jp/
- Foundations of Mathematics and Computer Science.
|
