Sponsor

Conference at a glance
Day by day program
CADE
CAV
LICS
RTA
Workshops
Tutorials
Keynote events
Internet and demo rooms
Exhibitors
Other events in Europe

Trento
Trentino
Free Time

Local arrangements

Sponsors

	AI*IA Associazione Italiana per l'Intelligenza Artificiale
	APT Trento Azienda per la Promozione Turistica di Trento
	APT Trentino Azienda per la Promozione Turistica del Trentino
	CCL II Constraints in Computational Logic
	Compulog Net European Network of Excellence in Computational Logic
	Comune di Trento
	Dipartimento di Informatica Universit� di Torino
	Dipartimento di Informatica e Studi Aziendali Universit� di Trento
	EC European Commission
	Elsevier Science
	Facolt� di Lettere e Filosofia Universit� di Trento
	GNIM/CNR
	IBM Haifa Research Laboratory
	IEEE The Institute of Electrical and Electronics Engineers, Inc.
	Intel
	Invisible Site Communications Technologies
	The John von Newmann Minerva Center for Verification of Reactive Systems at the Weizmann Institute
	Lucent Technologies
	Provincia Autonoma di Trento
	Regione Autonoma del Trentino Alto-Adige
	Siemens
	ST Microelectronics
	Sun Microsystems
	Telecom Italia
	Universit� di Genova
	Universit� di Trento
	US Office of Naval Research