Pubblicazioni

Fundamenta Informaticae Special Issue on CILC 2014

E’ uscito il numero speciale di Fundamenta Informaticae (150, numero 1) con la versione estesa di una selezione dei lavori presentati al CILC 2014 di Torino. Un sentito grazie ai curatori Laura Giordano, Valentina Gliozzi, Alberto Pettorossi e, last but…

Fundamenta Informaticae Special Issue on CILC 2013

The Special Issue on the Italian Conference on Computational Logic CILC 2013, has been published as Volume 140, no. 3-4, 2015 of Fundamenta Informaticae. Guest editors Domenico Cantone, Marianna Nicolosi Asmundo, and Alberto Pettorossi OFFICIAL LINK (verified SEPT 16, 2015)

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)