(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. (Colombia) Bogotá (Popularity: ): Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes). Logic at Leeds Homepage (Popularity: ): Information on the Leeds University Logic Group Berkeley, University of California (Popularity: ): Group in Logic and the Methodology of Science. Pennsylvania, University of (Popularity: ): Logic and Computation Group. Las Cruces, New Mexico (Popularity: ): Laboratory for Logic,Databases and Advanced Programming. Florida, University of (Popularity: ): Logic and Set Theory.