June 21, 2012
Slides and photos are online.

June 1, 2012
The proceedings are online.

May 15, 2012
Detailed programme is online.

May 14, 2012
List of accepted papers is online.

April 24, 2012
Registration is open.

March 10, 2012
Extended deadlines: Abstract due by March 16 12:00 GMT, Paper due by March 19 12:00 GMT.

March 2, 2012
Free registrations to KR 2012 tutorials are available for a limited number of CILC 2012 registrants.

February 8, 2012
JLC special issue has been announced.

November 25, 2011
PC has been posted.

November 8, 2011
Home page has been posted.


GULP - Group of
                    Users of Logic Programming
                Università di Roma


                Association for Logic Programming

The 9th Italian Convention on Computational Logic (CILC 2012) will take place 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.

CILC 2012 encompasses the 27th annual meeting 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.