CILC (Ita lian Conference on Computational Logic) is the ann ual conference organized by GULP (Group of researc hers and Users of Logic Programming). Since the fi rst event of the series, which took place in Genoa in 1986, the annual GULP conference represents th e main opportunity for users, researchers and deve lopers working in the field of computational logic to meet and exchange ideas. Over the years the co nference 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 data bases.
\nThe conference will feature presentations of refereed contributions, i ncluding the demonstration of software prototypes, concerning all aspects of computational logic. Th e conference invites two types of submissions: ful l papers, possibly already submitted to other conf erences or journals, and short papers, which are p articularly suitable for presenting work in progre ss, software prototypes, extended abstracts of doc toral theses, or general overviews of research pro jects.
\n\nIn particular, we invite submis sions of system or prototype software descriptions which use techniques or tools of computational lo gic, or which themselves aid the development of ap plications based on computational logic. Systems o f both research and industrial character are welco me.
\n