- Las Cruces, New Mexico - http://www.cs.nmsu.edu/lldap/
Laboratory for Logic,Databases and Advanced Programming.
- Notre Dame - http://www.nd.edu/~steve/logic/
Mathematical Logic.
- SRI International - http://www.csl.sri.com/
Computer Science Laboratory: Formal Methods and Dependable Systems; Rewriting Logics and Systems.
- Stanford - http://logic.stanford.edu/
Logic Group.
|