Human edited web directory based on the DMOZ data. To find out more about this project please use the top main menu.
Sites 14
- Berkeley, University of California Group in Logic and the Methodology of Science.
- Pennsylvania, University of Logic and Computation Group.
- Las Cruces, New Mexico Laboratory for Logic,Databases and Advanced Programming.
- Michigan, University of Logic and Foundations.
- SRI International Computer Science Laboratory: Formal Methods and Dependable Systems; Rewriting Logics and Systems.
- University of Calgary Logic Research Group.
- Urbana-Champaign, University of Illinois Logic.
- New York, City University of Logic at CUNY and in the New York City region.
- University of Maryland at College Park Computer Science Department, Active Logic Group.
- Carnegie Mellon University Pure and Applied Logic.
- Indiana University Group in Pure and Applied Logic.
- Los Angeles, University of California Logic Center supports teaching and research in logic and its applications.
- Stanford Logic Group.
- Irvine, University of California Set theory.