Italian Convention on Computational Logic, 6-7 June. tr 2012, 6 (8).