Directory of North America Resources

Home > Science > Math > Logic and Foundations > Research Groups and Centers > North America

Resources in This Category

• Berkeley, University of California

  http://logic.berkeley.edu/
  Group in Logic and the Methodology of Science.

• Carnegie Mellon University

  http://logic.cmu.edu/
  Pure and Applied Logic.

• Indiana University

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

• Irvine, University of California

  http://www.math.uci.edu/research/logic-and-foundations
  Set theory.

• Las Cruces, New Mexico

  http://www.cs.nmsu.edu/lldap/
  Laboratory for Logic,Databases and Advanced Programming.

• Los Angeles, University of California

  http://www.logic.ucla.edu/
  Logic Center supports teaching and research in logic and its applications.

• Michigan, University of

  http://www.math.lsa.umich.edu/research/logic/
  Logic and Foundations.

• New York, City University of

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

• 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/overview.html
  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.

 

Home > Science > Math > Logic and Foundations > Research Groups and Centers > North America

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us