Computational thinking for beginners: A successful experience using Prolog. - Silvio Beux; Daniela Briola; Andrea Corradi; Giorgio Delzanno; Angelo Ferrando 001; Federico Frassetto; Giovanna Guerrini; Viviana Mascardi; Marco Oreggia; Francesca Pozzi; Alessandro Solimando; Armando Tacchella (CILC, 2015)

Infinite derivations as failures. - Andrea Corradi; Federico Frassetto (CILC, 2015)

A three-valued type system for true positives detection in Java-like languages. - Davide Ancona; Federico Frassetto (FTfJP@ECOOP, 2015)