 |
|  |
||||||||||
 |
||||||||||||
  |
||||||||||||
|
SRI International
Computer Science Laboratory: Formal Methods and Dependable Systems; Rewriting Logics and Systems.
Minnesota, University of
Mathematical Logic.
Stanford
Logic Group.
University of Calgary
Logic Research Group.
Michigan, University of
Logic and Foundations.
Urbana-Champaign, University of Illinois
Logic.
New York, City University
Logic at CUNY and in the New York City region.
Carnegie Mellon University
Pure and Applied Logic.
Los Angeles, University of California
Logic and Set Theory.
Pennsylvania, University of
Logic and Computation Group.
More North America Sites
|
|
||
 |
|||