The CILC 2013 Proceedings are now published as CEUR-WS Vol. 1068 (free access)
Monthly Archives: Ottobre 2013
CILC 2013 conference report
The X Italian Convention of Computational Logic, CILC 2013, was hosted by the University of Catania from September 25th to September 27th 2013. The event was the 28th edition of the annual meeting organized by GULP (Gruppo ricercatori e Utenti…