Int’l Spring School 2011 29 Agosto 2011 Third International Spring School on Computational Logic ISCL 2011 (org: Paolo Torroni and Maurizio Gabbrielli)