Category: Conference reports

GULP school and CILC meeting report

The 30th edition of the Italian Conference on Computational Logic (CILC 2015), the annual meeting organized by the Group of researchers and Users of Logic Programming (GULP), took place at the University of Genoa from July 1st to July 3rd,…