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

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

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

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

Carnegie Mellon University  
   Pure and Applied Logic.
   http://www.cs.cmu.edu/afs/cs.cmu.edu/project/pal/www/pal.html

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

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

Los Angeles, University of California  
   Logic and Set Theory.
   http://www.math.ucla.edu/grad_programs/faculty/research_areas/logic.html

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

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

Notre Dame  
   Mathematical Logic.
   http://www.nd.edu/~steve/logic/

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

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

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

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

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

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

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