Computer Science Logic 2013 (CSL 2013) 22nd Annual Conference of the EACSL CSL’13, September 2–5, 2013, Torino, Italy - Ronchi della Rocca, Simona (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2013)