Web Directory

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

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

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

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

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

» Los Angeles, University of California
   Logic Center supports teaching and research in logic and its applications.
   http://www.logic.ucla.edu/

» 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

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

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

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

» 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

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

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