Institutions

(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.
csl.rsise.anu.edu.au/logic

(Colombia) Bogotá - Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes).
www.matematicas.unal.edu.co/villaveces/logica.html

(Israel) Ben Gurion University of the Negev - Mathematical and Computational Logic Research Group.
www.cs.bgu.ac.il/~kojman/BGULOGIC.html

(Israel) Haifa - Logic Seminar.
www.cs.technion.ac.il/~admlogic/lcoll.html

(Japan) Kobe - Foundations of Mathematics and Computer Science.
kurt.scitec.kobe-u.ac.jp/

Logic at Leeds Homepage - Information on the Leeds University Logic Group
www.amsta.leeds.ac.uk/pure/logic/