CILC 2020
Proceedings of CILC 2020

Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020

Rende, Italy, October 13-15, 2020.

Edited by

Francesco Calimeri *
Simona Perri *
Ester Zumpano **

* University of Calabria, Department of Mathematics and Computer Science, 87036 Rende, Italy
** University of Calabria, Department of Computer, Modelling, Electronics and Systems Engineering, 87036 Rende, Italy

Table of Contents

Abstract of Invited Talks


Non-original papers presented to CILC 2020:

2020-10-23: submitted by Francesco Calimeri, metadata incl. bibliographic data published under Creative Commons CC0
2020-10-24: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|