Berkeley, University of California - Group in Logic and the Methodology of Science. Pennsylvania, University of - Logic and Computation Group. Las Cruces, New Mexico - Laboratory for Logic,Databases and Advanced Programming. Michigan, University of - Logic and Foundations. SRI International - Computer Science Laboratory: Formal Methods and Dependable Systems; Rewriting Logics and Systems. University of Calgary - Logic Research Group. Urbana-Champaign, University of Illinois - Logic. New York, City University of - Logic at CUNY and in the New York City region. University of Maryland at College Park - Computer Science Department, Active Logic Group. Carnegie Mellon University - Pure and Applied Logic. Indiana University - Group in Pure and Applied Logic. Los Angeles, University of California - Logic Center supports teaching and research in logic and its applications. Stanford - Logic Group. Irvine, University of California - Set theory.