35th Edition of the Italian Conference on Computational Logic (CILC 2020)

13-15 October 2020 - Rende, Italy

This year's edition was the 35th in the series of an event that is traditionally important for the community. Given to the evolving COVID-19 situation worldwide, the Conference chairs and the GULP Executives decided to hold CILC 2020 as a fully virtual conference.

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 35th edition was (virtually) held in Rende (Cosenza, Italy) in October 2020.

Since the first event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the field of computational logic to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas such as artificial intelligence and deductive databases.


  • 2020 10 25: Proceedings of CILC 2020 are available! Please have a look at all the papers featured by the CILC 2020 program here. :)

  • 2020 10 15: CILC 2020 is over. Thank you for attending! Please find a lot of resources about the conference on this site or in the dedicated TEAM on Microsoft Teams. :)

  • 2020 10 13: CILC 2020 opens!

  • 2020 10 07: Registration for authors of accepted contribution closes. Still, regular attendees can register until the conference starts! Please head to the dedicate page for more details. :)

  • 2020 10 01: Tentative program has been announced.

  • 2020 09 28: Registration is now OPEN! Please go to the dedicated page in order to get on board!

  • 2020 09 15: New conference dates announced! :) Please check important dates.

  • 2020 09 05: Invited Speakers announced! Please have a look here.

  • 2020 08 01: Deadline for Abstract Submission Extended. Check important dates.

  • 2020 06 15: Conference dates slightly postponed, and IMPORTANT DATES updated. Please have a look at updated important dates.

  • 2020 05 05: DEADLINE EXTENDED! Please have a look at updated important dates.

  • 2020 05 05: New Call for Papers is OUT.

  • 2020 05 04: CILC 2020 will be held as a "virtual" event. Details will be released later on.

  • 2020 02 04: Preliminary Call for Papers is OUT :)