CILC 2014
Italian Conference on Computational Logic

Proceedings of the 29th Italian Conference on Computational Logic

Torino, Italy, June 16-18, 2014.

Edited by

Laura Giordano *
Valentina Gliozzi **
Gian Luca Pozzato **

* Dipartimento di Scienze e Innovazione Tecnologica, Istituto di Informatica, Università del Piemonte Orientale "Amedeo Avogadro", Viale Teresa Michel 11, 15121 Alessandria, Italy
** Dipartimento di Informatica, Università degli Studi di Torino, c.so Svizzera 185, 10149 Torino, Italy

Table of Contents

Abstracts of invited talks

Full papers

Short papers

Full papers published on arXiv.org

Additional material

The whole proceedings (including the preface and the table of contents) can be downloaded as a single PDF file.
2014-07-18: submitted by Gian Luca Pozzato
2014-07-18: published on CEUR-WS.org |valid HTML5|