Convegno Italiano di Logica Computazionale

cilc'16, 20-22 giugno 2016

Home (English)



The 31th annual conference of GULP (Group of researchers and Users of Logic Programming) will take place at the Milano-Bicocca University from June 20 to 22.

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 computational logic field to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of traditional Logic Programming to the general ones of declarative programming and of applications in neighboring areas including Artificial Intelligence and Deductive Databases.

Also in the 2016 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 idea characterizing logics as a tool for representation and computation.