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