(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.
   http://cslab.anu.edu.au/ar/

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

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

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

Linear Naming and Computation  
   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
   http://www.linearity.org/

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

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