Yearly Archives: 2017

CILC 2017 Proceedings on CEUR

The CILC 2017 proceedings are freely available as  http://ceur-ws.org/Vol-1949/ This is a joint issue of Italian Conference on Theoretical Computer Science and Italian Conference on Computational Logic

Tesi di dottorato – need your help

Vorremmo costruire un archivio delle tesi di dottorato “italiane” (in senso lato) di area programmazione logica, e logica computazionale, in generale. Per ora abbiamo operato in modo centralizzato, ma per rimpolpare l’archivio abbiamo bisogno del contributo di tutti. Avremmo bisogno…

Call For Papers: CILC 2017

32nd Italian Conference on Computational Logic (CILC 2017) Napoli (Naples), Italy, September 26-29, 2017 http://cilc2017.unina.it/ CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming, http://www.programmazionelogica.it/). Its 32nd edition…

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…