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