The 34th edition of the Italian Convention of Computational Logic (CILC 2019), the annual meeting of GULP (Gruppo ricercatori e Utenti Logic Programming ), was hosted by the University of Trieste from June 19th to June 21st, 2019. CILC was originally meant to be a forum for exchanging ideas and experiences between Italian researchers in the eld of computational logic, however, in recent years, it has broadened its topics of interest also to a wide set of related areas spacing from veri cation of formal systems to knowledge representation. The technical program of CILC 2019 features 37 presentations of as many high-quality papers; 27 of them are included in these proceedings and the remaining ones appeared or were submitted to other conferences, workshops or journals. Each of the submitted papers was evaluated by three reviewers and, according to their judgments, was either accepted or rejected for the presentation and publication in the proceedings. The contributions address di erent topics related to computational logic, including veri cation and validation, temporal reasoning, description logics, formal methods in AI, knowledge representation, and constraint logic programming. The program was also enriched by an ambassador talk \DigForASP: A European Cooperation Network for Logic-based AI in Digital Forensics" by Stefania Costantini, Francesca Alessandra Lisi, and Ra aele Olivieri and 3 tutorials: The following work were presented at CILC 2019, but are not included in this proceedings: { Epistemic Answer Set Programming: a new perspective Ezgi Iraz Su { Extending ALC with the power-set construct Laura Giordano and Alberto Policriti { Accountable Protocols in Abductive Logic Programming Marco Gavanelli, Marco Alberti, and Evelina Lamma { Model Completeness, Covers and Superposition (Abridged Version) Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin { Proving Properties of Sorting Programs: A Case Study in Horn Clause Veri cation Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti { An Ontology to Improve the First Aid Service Quality Lorenzo De Lauretis and Stefania Costantini
We would like to thank all the people who have contributed to the success of CILC 2019: the authors, the invited speakers, the program committee, the reviewers, and the participants. Special thanks go to both the President and the former President of GULP, Stefania Costantini and Agostino Dovier, and to the secretary of GULP, Fabio Fioravanti, for their support in the organization of the event. Alberto Casagrande Eugenio Omodeo