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…

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.org/ Si osservi la quota puramente simbolica di partecipazione per tutti i non strutturati (i soli…

Proceedings of GULP, GULP-PRODE, APPIA-GULP-PRODE

Thanks to the hard manual search-scan efforts of the GULP Executive Committee 2012-2015 and of some friends that we would like to thank (Giuliana Dettori, Juanjo Marino, Raffaele Olivieri, Eugenio Omodeo) we are proud to announce that all proceedings of…

Rinnovo organi GULP: risultati elezioni

Cari soci, vi comunico i risultati delle elezioni per il rinnovo degli organi GULP. La partecipazione è stata di 56 votanti, pari al 67.47% degli aventi diritto al voto. Risultano eletti: Presidente: Agostino Dovier Vice presidente: Stefania Costantini Segretario: Marco…