CILC 2024
39th Italian Conference on Computational Logic

June 26-28, 2024 - Rome, Italy

Overview

The Italian Conference on Computational Logic (CILC) is the annual meeting of the Italian Association for Logic Programming (GULP - Gruppo Ricercatori e Utenti Logic Programming).

Since its first edition, which was held in Genoa in 1986, the Conference has represented an important occasion for meeting and exchanging ideas and experiences between users, researchers, and developers working in the field of Computational Logic.

Over the years, the Conference organized by GULP has broadened its horizon from the specific field of logic programming to the more general one of Computational Logic, including for instance, declarative programming, constraint programming, and applications in various neighboring sectors, such as Artificial Intelligence.

The 39th Italian Conference on Computational Logic will be held in Rome at the National Research Council of Italy on 26-28 June 2024.

The Conference will feature presentations of invited speakers and contributed papers concerning all aspects of computational logic. The topics of interest for the conference are, but are not limited to, the following:

The Conference solicits two types of submissions:

Important dates

Paper submission:
26 April 2024
Notification of acceptance:
22 May 2024
Final version:
15 June 2024
Conference:
26-28 June 2024

Committees

Program Committee Members
Mario Alviano University of Calabria
Roberto Amadini University of Bologna
Roberto Basili University of Roma "Tor Vergata"
Federico Bergenti University of Parma
Stefano Bistarelli University of Perugia
Loris Bozzato Fondazione Bruno Kessler
Antonio Brogi University of Pisa
Roberta Calegari University of Bologna
Francesco Calimeri University of Calabria
Domenico Cantone University of Catania
Alberto Casagrande University of Udine
Federico Chesani University of Bologna
Stefania Costantini University of L'Aquila
Alessandro Dal Pal├╣ University of Parma
Giovanni De Gasperis University of L'Aquila
Dario Della Monica University of Udine
Giorgio Delzanno University of Genova
Agostino Dovier University of Udine
Wolfgang Faber University of Klagenfurt
Mauro Ferrari University of Insubria
Fabio Fioravanti University of Chieti-Pescara
Camillo Fiorentini University of Milano
Andrea Formisano University of Udine
Silvio Ghilardi University of Milano
Laura Giordano University of Piemonte Orientale
Francesca Alessandra Lisi University of Bari
Marco Maratea University of Calabria
Viviana Mascardi University of Genova
Elena Mastria University of Calabria
Maria Chiara Meo University of Chieti-Pescara
Stefania Monica University of Modena and Reggio Emilia
Marianna Nicolosi-Asmundo University of Catania
Andrea Orlandini CNR-ISTC
Gennaro Parlato University of Molise
Fabio Patrizi "Sapienza" University of Rome
Carla Piazza University of Udine
Enrico Pontelli New Mexico State University
Gian Luca Pozzato University of Torino
Luca Pulina University of Sassari
Francesco Ricca University of Calabria
Fabrizio Riguzzi University of Ferrara
Sabina Rossi University of Venezia
Pietro Sala University of Verona
Luciano Serafini Fondazione Bruno Kessler
Flavio Vella University of Trento
Riccardo Zese University of Ferrara
Program Chairs
Emanuele De Angelis CNR-IASI
Maurizio Proietti CNR-IASI

Submission Guidelines

Contributions must be written in English, formatted using the CEURART style (with the one-column option), and submitted in PDF format. See CEUR author instructions for further details on how to prepare your submission.

Full papers cannot exceed 15 pages including references. Short papers cannot exceed 8 pages including references. Additional pages may be used for appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them.

Non-original contributions do not need to be formatted using the CEURART style and should include a reference to the already published version of the paper (for instance in a footnote on the first page).

Papers must be submitted via Easychair.

Proceedings

Accepted original contributions will be included in a volume of the CEUR Workshop Proceedings.

Accepted non-original contributions will be given visibility on the conference web site including a link to the original publication, if available.

For each paper accepted, at least one of the authors is required to make a senior registration (details will be available soon on the web site).

Following the CILC tradition, a selection of papers is planned to be published in a special issue of an international journal (to be determined). Extensions of accepted non-original contributions, if not yet published in a journal, can be considered for the inclusion in the special issue.

Venue

Consiglio Nazionale delle Ricerche

Piazzale Aldo Moro, 7 - 00185 Roma, Italia

Contact Us

Emanuele De Angelis
Istituto di Analisi dei Sistemi ed Informatica "Antonio Ruberti" - Consiglio Nazionale delle Ricerche
Maurizio Proietti
Istituto di Analisi dei Sistemi ed Informatica "Antonio Ruberti" - Consiglio Nazionale delle Ricerche