(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.
(Colombia) Bogotá Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes).
(Japan) Kobe Foundations of Mathematics and Computer Science.
Automated Reasoning Project Web resource provided by research group. Includes access to software developed by the team, coverering such projects as FINDER (Finite Domain Enumerator), MaGIC (Matrix Generator for Implication Connectives) and Kripke (A theorem prover for the relevant logic LR).
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 technology.