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.…
By Francesco Olivieri UNIVERSITÀ DEGLI STUDI DI VERONA Dottorato di ricerca in COMPUTER SCIENCE Maggio 2014 Business Process Compliance are three words scholars use to describe what happens, or should happen, when two worlds very different from each other collide.…
By Laura Titolo Università di Udine 12 Maggio 2014 ABSTRACT In this thesis, we propose a semantic framework for tccp based on abstract interpretation with the main purpose of formally verifying and debugging tccp programs. A key point for the…
Emanuele De Angelis University “G. D’Annunzio” of Chieti-Pescara April 2014 ABSTRACT In the last decade formal methods applied to software production have received a renewed attention as the basis of a methodology for increasing the reliability of software artefacts (for…
L’Associazione Italiana per la Programmazione Logica GULP (“Gruppo Ricercatori e Utenti di Logic Programming”) bandisce un premio per la migliore tesi di dottorato su argomenti di Logica Computazionale. L’ammontare del premio è di 1000 (mille) euro. Requisiti per la partecipazione…
Torino (Italy), 16-18 June, 2014 Web Page: XXIX. XI CILC (2014) Program chairs: Laura Giordano, Valentina Gliozzi and Gian Luca Pozzato CILC 2014 Proceedings: published as CEUR Vol. 1195 (free access)
Il ventinovesimo convegno annuale del GULP (Gruppo ricercatori e Utenti Logic Programming) avrà luogo presso l’Università degli Studi di Torino nei giorni 16 – 18 Giugno 2014. http://cilc2014.di.unipmn.it Luogo della conferenza: ex sala lauree di Giurisprudenza a Palazzo Nuovo, in…
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)…
The CILC 2013 Proceedings are now published as CEUR-WS Vol. 1068 (free access)
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…
Durante il convegno CILC 2013 che si è svolto a Catania dal 25 – 27 settembre 2013 sono stati premiati i tre vincitori ex-aequo del Premio GULP per la migliore Tesi di Dottorato su argomenti di Logica Computazionale (edizione 2010-2011): Annamaria…
This gallery contains 39 photos →
29th International Conference on Logic Programming to be held in Istanbul, Turkey, on August 24-29, 2013.Abstract registration deadline April 3, 2013
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)
The Special Issue on the Italian Conference on Computational Logic CILC 2010, has been published as Vol 13, Special Issue 02 / 2013 of Theory and Practice of Logic Programming. Guest Editors Nicola Leone and Wolfgang Faber. OFFICIAL LINK (verified…
