CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming, www.programmazionelogica.it). Its 32nd edition will be held in Naples (Italy) on September 26-28, 2017. 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 of applications in neighboring areas such as artificial intelligence and deductive databases.
Also in the 2017 edition, GULP wants to follow and – possibly – strengthen this policy by identifying, with the general term of Computational Logic, the entire and multifaceted research areas, both foundational and applied, which directly and indirectly either use or interact with techniques and ideas characterizing logics as a tool for representation and computation.
The conference will be co-located with ICTCS 2017.