(Australia) Canberra (Popularity: ): Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms ... (Israel) Haifa (Popularity: ): Logic Seminar. (Israel) Ben Gurion University of the Negev (Popularity: ): Mathematical and Computational Logic Research Group. (Japan) Kobe (Popularity: ): Foundations of Mathematics and Computer Science. Linear Naming and Computation (Popularity: ): A distributed research group associated with the Church Project working on the design and implementation ... (Colombia) Bogotá (Popularity: ): Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes). Berkeley, University of California (Popularity: ): Group in Logic and the Methodology of Science. Brigham Young University (Popularity: ): Laboratory for Applied Logic. Pennsylvania, University of (Popularity: ): Logic and Computation Group. Las Cruces, New Mexico (Popularity: ): Laboratory for Logic,Databases and Advanced Programming.