Classical Logic and Computation

July 15, S. Servolo, Venice - Italy, Colocated with ICALP 2006,