25th Italian Conference on Computational Logic


Some pictures of the conference.

The program and the proceedings are online.

The program includes links to slides used during the talks (when provided by the authors).

A selection of original articles presented at the conference will be published as a special issue of Theory and Practice of Logic Programming.

Presentation of the book A 25-Year Perspective on Logic Programming, edited by A. Dovier and E. Pontelli (Springer-Verlag LNCS Vol. 6125) during the conference.

CILC 2010

[versione italiana]

The 25th annual conference organized by GULP (Gruppo ricercatori e Utenti Logic Programming) will take place at the Department of Mathematics of the University of Calabria from July 7th to July 9th, 2010.

Since the first conference, which took place in Genoa in 1986, the annual conference organized by GULP is the most important occasion for meeting and exchanging ideas and experiences between users, researchers and developers, who work in the field of computational logic. During its 24 years of recurrence, the annual conference organized by GULP has continually widened its horizons from the field of traditional logic programming to the more general areas of declarative programming and its applications in various neighboring fields, such as Artificial Intelligence or Deductive Databases. Also in this year's conference, the Italian Association of Logic Programming wants to continue and possibly widen this policy, using the general term Computational Logic for integrating the various research fields, which use in direct or indirect, practical or theoretical ways or just addresses the ideas or tecniques of logic as a tool for representation and calculation.

Event sponsored by:


Made using DocBook Website .