[ICLP'16] Evaluation of the Autumn School in Computational Logic