Europe
Germany, United Kingdom, (Austria) Linz - Hagenberg, (Austria) University of Vienna, (Austria) Vienna University of Technology, (Belgium) Ghent, (Belgium) University of Mons-Hainault, (Czech Republic) Charles University, (Czech Republic) Ostrava, (Czech Republic) Prague, (Czech Republic) Prague, (Finland) Helsinki
North America
Berkeley, University of California, Brigham Young University, Carnegie Mellon University, Florida, University of, Indiana University, Las Cruces, New Mexico, Los Angeles, University of California, Michigan, University of, Minnesota, University of, New York, City University
(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).
(Israel) Ben Gurion University of the Negev
Mathematical and Computational Logic Research Group.
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.
Logic at Leeds Homepage
Information on the Leeds University Logic Group