Indiana University
- Group in Pure and Applied Logic.
- http://www.indiana.edu/~iulg/

Carnegie Mellon University
- Pure and Applied Logic.
- http://logic.cmu.edu/

Berkeley, University of California
- Group in Logic and the Methodology of Science.
- http://logic.berkeley.edu/

University of Maryland at College Park
- Computer Science Department, Active Logic Group.
- http://www.cs.umd.edu/projects/active/

New York, City University
- Logic at CUNY and in the New York City region.
- http://nylogic.org/Workshop

Urbana-Champaign, University of Illinois
- Logic.
- http://www.math.uiuc.edu/ResearchAreas/logic/

University of Calgary
- Logic Research Group.
- http://www.phil.ucalgary.ca/research/logic.html

Stanford
- Logic Group.
- http://logic.stanford.edu/

SRI International
- Computer Science Laboratory: Formal Methods and Dependable Systems; Rewriting Logics and Systems.
- http://www.csl.sri.com/

Pennsylvania State
- Mathematical Logic.
- http://www.math.psu.edu/simpson/Logic.html

Minnesota, University of
- Mathematical Logic.
- http://www.math.umn.edu/grad/areas/logic.html

Michigan, University of
- Logic and Foundations.
- http://www.math.lsa.umich.edu/research/logic/

Florida, University of
- Logic and Set Theory.
- http://www.math.ufl.edu/~jal/lst.html

Las Cruces, New Mexico
- Laboratory for Logic,Databases and Advanced Programming.
- http://www.cs.nmsu.edu/lldap/

Pennsylvania, University of
- Logic and Computation Group.
- http://www.cis.upenn.edu/~lc/

Brigham Young University
- Laboratory for Applied Logic.
- http://lal.cs.byu.edu/