Multi Search Add Bookmark! Make MetaStrike Your Homepage

Home:   Science:   Math:   Logic and Foundations:   Institutions:   North America

Sites:

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.  Pennsylvania, University of  - http://www.cis.upenn.edu/~lc/  Logic and Computation Group.  Las Cruces, New Mexico  - http://www.cs.nmsu.edu/lldap/  Laboratory for Logic,Databases and Advanced Programming.  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.  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.  Notre Dame  - http://www.nd.edu/~steve/logic/  Mathematical Logic.  Pennsylvania State  - http://www.math.psu.edu/simpson/Logic.html  Mathematical Logic.  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.  Urbana-Champaign, University of Illinois  - http://www.math.uiuc.edu/ResearchAreas/logic/  Logic.  New York, City University  - http://nylogic.org/Workshop  Logic at CUNY and in the New York City region.  University of Maryland at College Park  - http://www.cs.umd.edu/projects/active/  Computer Science Department, Active Logic Group.