CILC2012 – Accepted Papers and Call for Participation

CILC 2012 – 9th Italian Convention on Computational Logic
June 6-7, 2012, Università di Roma “La Sapienza”


The Italian Convention on Computational Logic is an annual event organized by GULP (Gruppo ricercatori e Utenti Logic Programming), the Italian association for Logic Programming affiliated to ALP (Association for Logic Programming). Since 1986, the annual meeting organized by GULP is the most important occasion for meeting and exchanging ideas and experiences between users, researchers and developers, who work in the field of computational logic. During its 26 years of recurrence, the annual GULP meeting has continually widened its horizons from the field of traditional logic programming to the more general areas of declarative programming and its applications in various neighboring fields, such as Artificial Intelligence or Deductive Databases. Also in this year’s convention, GULP wants to continue and possibly widen this policy, using the general term Computational Logic for integrating the various research fields, which use in direct or indirect, practical or theoretical ways or just addresses the ideas or techniques of logic as a tool for representation and calculation.


CILC 2012 will be held at the Dipartimento di Ingegneria Informatica, Automatica e Gestionale “A. Ruberti” (formerly, DIS: Dipartimento di Informatica e Sistemistica) of Sapienza Università di Roma from June 6th to June 7th, 2012, in co-location with DL 2012, NMR 2012, KR 2012, and AI*IA 2012.
Details about how to find the CILC 2012 venue are available at


The convention is an event organized by GULP. Participants have to be  members of GULP for 2012 (participants can join GULP at the event). Participants are invited to register as soon as possible in order to allow for a better organization of the event.

Free passes to KR 2012 tutorials are available for a limited number of CILC 2012 registrants. This possibility is open only to those who are not registered for KR 2012. When registering, CILC 2012 participants are invited to express an interest in this possibility.

Details about the registration are available at

PROGRAM  (and accepted papers)

The program is available here:


  • Francesca Alessandra Lisi, Università degli Studi di Bari “Aldo Moro”, Italy (PC Chair)
  • Fabio Patrizi, “Sapienza” Università di Roma, Italy (Local Organization Chair)