CILC 2023
Italian Conference on Computational Logic 2023

Proceedings of the 38th Italian Conference on Computational Logic

Udine, Italy, June 21-23, 2023.

Edited by

Agostino Dovier *
Andrea Formisano *

* University of Udine, Department of Mathematics, Computer Science and Physics (DMIF), via delle Scienze 206, Udine, Italy

Table of Contents

Invited Talks

Regular Papers

Short Papers

Presented papers, published elsewhere

2023-06-27: submitted by Andrea Formisano, metadata incl. bibliographic data published under Creative Commons CC0
2023-06-30: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|