CILC 2017

32nd Italian Conference on Computational Logic
26-28 September 2017, Naples, Italy


Proceedings are published on CEUR Workshop Proceedings (Vol-1949).

CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming, 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.