(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).
(Japan) Kobe - http://kurt.scitec.kobe-u.ac.jp/ Foundations of Mathematics and Computer Science.