28th Italian Conference on Computational Logic (CILC 2013)

The 28th Italian Conference on Computational Logic, CILC 2013, was hosted by theUniversity of Catania from September 25th to September 27th 2013. The event was the28th edition of the annual meeting organized by GULP (Gruppo ricercatori e Utenti LogicProgramming). Since the first conference, which took place in Genoa in 1986, the annualconference organized by GULP is the most important occasion for meeting and exchangingideas and experiences among Italian users, researchers and developers, who work in thefield of computational logic.The program included 24 technical papers accepted for presentation (17 for long presentationand 7 for short presentation). Authors were mainly affiliated to Italian universities,but some of them belonged to universities of other countries (Mexico, France, Argentina,Finland, Iceland, Spain, and United States). Paper selection was made by peer reviewing:each submitted paper was assigned to at least three members of the Program Committee,who in many cases availed themselves of the help of external referees.Technical presentations concerned several different topics related to computational logic,including verification of logic programs, answer set programming, proof and decision systemsfor several non-classical logics, computable set theory, machine learning. The qualityof the technical contributions confirms that the Italian community of computational logicis lively and active.The program included also three invited talks and a tutorial. The invited talks weregiven by Maria Paola Bonacina, who reviewed recent trends and current developmentson model-based reasoning; by Eugenio G. Omodeo, who illustrated the state-of-theartof proof-verification technology based on set theory and surveyed the proof checkerÆtnaNova/Referee; and by Alberto Policriti, who presented the result on the decidabilityof the satisfiability problem for the class of purely universal formulae in set theory.The tutorial was given by Joanna Goli´nska-Pilarek, who presented specific methodologicalprinciples of constructing relational dual tableaux, also illustrating their applicationsto non-classical logics.A selection of the accepted papers will appear in a special issue of a scientific journal. Thecomplete program, with links to full papers and presentation slides, is available athttp://www.dmi.unict.it/˜cilc2013/en/programma.html.We wish to thank all who contributed to the success of this edition, including authors,speakers, reviewers, participants, organizers, and sponsors.Domenico Cantone, Marianna Nicolosi Asmundo