SAT 2003 - Sponsors |
Back |
CoLogNet |
Network of excellence in computational logic (www.colognet.org) | |
DIST |
Dipartimento di
Informatica Sistemica e Telematica (Department of Communication, Computer and System Sciences - University of Genoa) |
|
IISI |
Intelligent Information Systems Institute at Cornell University | |
Microsoft Research |
http://research.microsoft.com |
Back |