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…