=Paper=
{{Paper
|id=Vol-1645/preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1645/preface.pdf
|volume=Vol-1645
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-1645/preface.pdf</pdf>
<pre>
                                  Preface


    The 31st edition of the Italian Convention of Computational Logic (CILC
2016), the annual meeting organized by GULP (Gruppo ricercatori e Utenti
Logic Programming), was hosted by the Università di Milano (Bicocca and degli
Studi), from June 20th to June 22nd, 2016. Since the first conference, which
took place in Genoa in 1986, the annual conference organized by GULP is the
most important occasion for meeting and exchanging ideas and experiences be-
tween Italian researchers, working in the field of computational logic. Over the
years, CILC has extended its topics of interest, from traditional logic program-
ming to computational logic and declarative programming in general, including
applications to Artificial Intelligence.
    The technical program of CILC 2016 included 22 presentations; 15 papers
have been selected for publication in the proceedings of the event. Paper selec-
tion was made by peer reviewing: each submitted paper was assigned to three
members of the Program Committee. Different topics related to computational
logic have been addressed, including verification of logic programs, answer set
programming, proof theory, machine learning, constraint logic programming, de-
scription logics, argumentation. In addition, Eugenio Omodeo and Alberto Poli-
criti, presented the forthcoming volume Martin Davis on Computability, Com-
putational Logic, and Mathematical Foundations, which they edited for Springer.
    The 31st edition of CILC included also a special session on Constructivism
and logic (programming) in honour of Mario Ornaghi’s seventieth birthday. Mario
has spent his entire academic life at the Università degli Studi di Milano, even
before the department of Computer Science came to existence in 1982. He, to-
gether with his long time friend and collaborator Pierangelo Miglioli, made sev-
eral central contributions to program synthesis, abstract data types and theorem
proving under the general helm of constructive logic. From the early nineties,
Mario’s interests focused on logic programming, in its proof and model-theoretic
foundations with a particular emphasis on modularity and components.
    Many of his friends, co-authors, colleagues and former students came together
to celebrate his body of work. The session featured the following invited talks:

 – Helmut Schwichtenberg. Logic for real number computation.
 – Kung-Kiu Lau, From Super Mario to X-MEN.
 – Michael Mendler, Synchronous Programming in Intermediate Constructive
   Logic.

    In addition to the contributions published in the proceedings, the program of
CILC 2016 also featured the presentations of the following papers, which appear
elsewhere:

 – Stefano Bistarelli, Francesco Santini, C-semiring Frameworks for Minimum
   Spanning Tree Problems.
 – Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara
   Ghidini, Paola Mello, Marco Montali, Sergio Tessaris, Abducing Workflow
   Traces: a General Framework to Manage Incompleteness in Business Pro-
   cesses.
 – Stefania Costantini, Giovanni De Gasperis, Multi-Context Systems for Prac-
   tical Reasoning in Distributed Environments.
 – Stefania Costantini, Andrea Formisano, Valentina Pitoni, Quantitative Rea-
   soning and Customizable Bridge Rules in ACE.
 – James Cheney, Alberto Momigliano, Matteo Pessina, Validating the meta-
   theory of formal system with αCheck.

    We would like to thank all the people who have contributed to the success
of CILC 2016, including authors, invited speakers, reviewers, participants, lo-
cal organizers and sponsors. A special thanks goes to the President of GULP,
Agostino Dovier, and the secretary of GULP, Marco Gavanelli, for their helpful
suggestions and support of the organization of the event.

July 2016
Camillo Fiorentini, Alberto Momigliano

</pre>