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…

Bando per premio tesi di dottorato.

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. Principali scadenze 1 Febbraio…

John Alan Robinson

By Martin Davis, Dept. of Mathematics, University of California, Berkeley, CA and Courant Institute of Mathematical Sciences, New York University, NY. Eugenio Omodeo DMG/DMI, Università di Trieste, Italy Alan Robinson, whose highly influential method of resolution revolutionized efforts to create…

Conference Report: CILC 2016

The 31st edition of the Italian Convention of Computational Logic (CILC 2016), the annual meeting organized by GULP (Gruppo ricercatori e Utenti Logic Programming), was hosted by the Università di Milano (Bicocca and degli Studi), from June 20th to June…

Process-Aware Data Quality Assessment

By Ognjen Savković Freire Universität Bozen September 2016 Abstract Data quality is one of the most important problems in data management. In this thesis we focus on two problems of data quality: stability and completeness. Stability and completeness are two…

La premiazione di Elena Bellodi

Nella prima sessione del convegno CILC 2016 è avvenuta la premiazione di Elena Bellodi a completamento della procedura per i premi Tesi di dottorato del GULP, edizione 2014, che ha visto vincitori ex aqueo Emanuele De Angelis ed, appunto, Elena Bellodi (si vedano i dettagli QUI).

Elena, neo mamma, impossibilitata a presenziare alla scorsa edizione ha aperto il convegno 2016 presentando i principali risultati della sua tesi e gli sviluppi della stessa.

Da parte dell’associazione le congratulazioni e gli in bocca al lupo per una brillante carriera.

ISCRIZIONI AL CONVEGNO CILC 2016

Carissimi, le iscrizioni al convegno CILC 2016 che avrà luogo dal 20 al 22 giugno 2016 presso l’Università degli Studi di Milano-Bicocca sono aperte: https://cilc2016.wordpress.com/ Si osservi la quota puramente simbolica di partecipazione per tutti i non strutturati (i soli…