Pubblicazioni

CILC 2014 conference report

CILCTO

The 29th edition of the Italian Convention of Computational Logic (CILC 2014), the annual meeting organized by GULP (Gruppo ricercatori e Utenti Logic Programming), was hosted by the University of Turin, from June the 16th to June the 18th 2014.…

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

P1170279

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…

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)

CILC 2012 conference report

CILC 2012, the 27th Italian Meeting on Logic Programming (and Computational Logic) was hosted by the  Dipartimento di Ingegneria Informatica, Automatica e Gestionale “A. Ruberti” of the University of Roma “La Sapienza” from June 6 to 7 2012 (partially co-located…

CILC 2011 conference report

From August 31th to September 2nd, the University of Chieti-Pescara hosted the CILC 2011 conference. It was the 26th edition of the annual meeting organized by the Italian Association for Logic Programming (GULP, Gruppo Ricercatori e Utenti di Logic Programming),…