TEST0

This is just a temporary test page. We are working for improving the website. List of papers in THIS LINK

CILC 2014 conference report

CILCTO

The 29th edition of the Italian Convention of Computational Logic (CILC 2014), the annual meeting organized by GULP (Gruppo ricercatori e Utenti Logic Programming), was hosted by the University of Turin, from June the 16th to June the 18th 2014.…

Bando Premio GULP per 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. Requisiti per la partecipazione…

XXIX. XI CILC (2014), Torino (Italy)

Torino (Italy),  16-18 June, 2014 Web Page: XXIX. XI CILC (2014) Program chairs: Laura Giordano, Valentina Gliozzi and Gian Luca Pozzato CILC 2014 Proceedings: published as CEUR Vol. 1195 (free access)