Berkeley, University of California: Group in Logic and the Methodology of Science.Brigham Young University: Laboratory for Applied Logic.Carnegie Mellon University: Pure and Applied Logic.Florida, University of: Logic and Set Theory.Indiana University: Group in Pure and Applied Logic.Las Cruces, New Mexico: Laboratory for Logic,Databases and Advanced Programming.Los Angeles, University of California: Logic and Set Theory.Michigan, University of: Logic and Foundations.Minnesota, University of: Mathematical Logic.New York, City University: Logic at CUNY and in the New York City region.Pennsylvania State: Mathematical Logic.Pennsylvania, University of: Logic and Computation Group.SRI International: Computer Science Laboratory: Formal Methods and Dependable Systems; Rewriting Logics and Systems.Stanford: Logic Group.University of Calgary: Logic Research Group.University of Maryland at College Park: Computer Science Department, Active Logic Group.Urbana-Champaign, University of Illinois: Logic.