28/02/2013
CILC 2013 web site is online!

The 28th annual conference organized by GULP (Gruppo ricercatori e Utenti Logic Programming) will take place at the University of Catania from September 25th to September 27th, 2013.

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 italian users, researchers and developers, who work in the field of computational logic. During the years, 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.

DMI Catania
The conference will take place at the Aula Magna (Giovanni Dantoni) of the Department of Mathematics and Computer Science of the University of Catania, Cittą Universitaria, viale Andrea Doria 6, 95125 Catania.