Yearly Archives: 2013

JLC Special Issue on CILC 2012

Journal of Logic and Computation Volume 25 Issue 6 December 2015 online since December 12, 2013 doi:10.1093/logcom/ext069 Preface Recent advances of research on Computational Logic in Italy (CILC 2012): In memoriam of Elio Lanzarone (1945–2011) Francesca A. Lisi (guest editor)…

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…

ICLP 2013

29th International Conference on Logic Programming to be held in Istanbul, Turkey, on August 24-29, 2013.Abstract registration deadline April 3, 2013

Fundamenta Informaticae Special Issue on CILC 2011

The Special Issue on the Italian Conference on Computational Logic CILC 2011, has been published as Vol 124, Number 4 / 2013 of Fundamenta Informaticae. Guest Editors Fioravanti Fabio, Pettorossi Alberto, and Rossi Gianfranco OFFICIAL LINK (Verified SEPT 16, 2015)