| 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. |
Classical
