Logic Colloquium (2004 Torino, Italy)