english deutsch
Berkeley, University of California
http://www.math.berkeley.edu/logic/
Group in Logic and the Methodology of Science.
Brigham Young University
http://lal.cs.byu.edu/
Laboratory for Applied Logic.
Carnegie Mellon University
http://www.cs.cmu.edu/afs/cs.cmu.edu/project/pal/www/pal.html
Pure and Applied Logic.
Florida, University of
http://www.math.ufl.edu/~jal/lst.html
Logic and Set Theory.
Indiana University
http://php.indiana.edu/~iulg/
Group in Pure and Applied Logic.
Las Cruces, New Mexico
http://www.cs.nmsu.edu/lldap/
Laboratory for Logic,Databases and Advanced Programming.
Los Angeles, University of California
http://www.math.ucla.edu/grad_programs/faculty/research_areas/logic.html
Logic and Set Theory.
Michigan, University of
http://www.math.lsa.umich.edu/research/logic/
Logic and Foundations.
Minnesota, University of
http://www.math.umn.edu/grad/areas/logic.html
Mathematical Logic.
New York, City University
http://nylogic.org/Workshop
Logic at CUNY and in the New York City region.
Notre Dame
http://www.nd.edu/~steve/logic/
Mathematical Logic.
Pennsylvania State
http://www.math.psu.edu/simpson/Logic.html
Mathematical Logic.
Pennsylvania, University of
http://www.cis.upenn.edu/~lc/
Logic and Computation Group.
SRI International
http://www.csl.sri.com/
Computer Science Laboratory: Formal Methods and Dependable Systems; Rewriting Logics and Systems.
Stanford
http://logic.stanford.edu/
Logic Group.
University of Calgary
http://www.phil.ucalgary.ca/research/logic.html
Logic Research Group.
University of Maryland at College Park
http://www.cs.umd.edu/projects/active/
Computer Science Department, Active Logic Group.
Urbana-Champaign, University of Illinois
http://www.math.uiuc.edu/ResearchAreas/logic/
Logic.