Durante il convegno CILC 2018 che si è svolto a Bolzano, il Prof. Alberto Pettorossi è stato nominato Socio Onorario dell’associazione GULP dal presidente Prof. Agostino Dovier, dalla vice-presidente Prof.ssa Stefania Costantini e dal segretario Prof. Marco Gavanelli, con la…
Notizie
CFP: CILC 2018 a BOLZANO
PRELIMINARY CALL FOR PAPERS CILC 2018 – 33rd Italian Conference on Computational Logic https://cilc2018.events.unibz.it/ Bolzano, Italy, September 20-22, 2018 CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic…
Artificial Intelligence and Logic Programming: Results vs. Challenges and Trends
Si è svolta a Bari il 14 Novembre alle ore 18:00 all’interno del convegno dell’Associazione Italiana per l’Intelligenza Artificiale (AI*IA 2017) la tavola rotonda “Artificial Intelligence and Logic Programming: Results vs. Challenges and Trends“. Dopo l’introduzione dell’organizzatrice Francesca Alessandra Lisi,…
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…
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…
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…
Fabrizio Riguzzi on Big Data
CFP: CILC 2016: 31-esimo Convegno Italiano di Logica Computazionale
Il trentunesimo convegno annuale del GULP (Gruppo ricercatori e Utenti Logic Programming) avrà luogo presso l’Università degli Studi di Milano-Bicocca dal 20 al 22 giugno 2016. Sin dalla sua prima edizione, tenutasi a Genova nel 1986, il convegno annuale del…