CILC 2005 Convegno Italiano di Logica Computazionale , 21-22 giugno 2005, Aula Marconi, Consiglio Nazionale delle Ricerche, Piazzale Aldo Moro 7, Roma, Sponsored by the University of Roma, Tor Vergata and by the Consiglio Nazionale delle Ricerche (CNR).