Directory: Top/Science/Math/Logic_and_Foundations/Institutions/North

Top / Science / Math / Logic_and_Foundations / Institutions / North_America /

Pennsylvania, University of
Logic and Computation Group.
http://www.cis.upenn.edu/~lc/
Upenn.edu ~ Site Info Whois Trace Route RBL Check

Las Cruces, New Mexico
Laboratory for Logic,Databases and Advanced Programming.
http://www.cs.nmsu.edu/lldap/
Nmsu.edu ~ Site Info Whois Trace Route RBL Check

Florida, University of
Logic and Set Theory.
http://www.math.ufl.edu/~jal/lst.html
Ufl.edu ~ Site Info Whois Trace Route RBL Check

Michigan, University of
Logic and Foundations.
http://www.math.lsa.umich.edu/research/logic/
Umich.edu ~ Site Info Whois Trace Route RBL Check

Minnesota, University of
Mathematical Logic.
http://www.math.umn.edu/grad/areas/logic.html
Umn.edu ~ Site Info Whois Trace Route RBL Check

Pennsylvania State
Mathematical Logic.
http://www.math.psu.edu/simpson/Logic.html
Psu.edu ~ Site Info Whois Trace Route RBL Check

SRI International
Computer Science Laboratory: Formal Methods and Dependable Systems; Rewriting Logics and Systems.
http://www.csl.sri.com/
Sri.com ~ Site Info Whois Trace Route RBL Check

Stanford
Logic Group.
http://logic.stanford.edu/
Stanford.edu ~ Site Info Whois Trace Route RBL Check

University of Calgary
Logic Research Group.
http://www.phil.ucalgary.ca/research/logic.html
Ucalgary.ca ~ Site Info Whois Trace Route RBL Check

Urbana-Champaign, University of Illinois
Logic.
http://www.math.uiuc.edu/ResearchAreas/logic/
Uiuc.edu ~ Site Info Whois Trace Route RBL Check