Italian Convention on Computational Logic, 6-7 June (The Reasoner, 2012)