ICLP 2013

29th International Conference on Logic Programming to be held in Istanbul, Turkey, on August 24-29, 2013.Abstract registration deadline April 3, 2013

Fundamenta Informaticae Special Issue on CILC 2011

The Special Issue on the Italian Conference on Computational Logic CILC 2011, has been published as Vol 124, Number 4 / 2013 of Fundamenta Informaticae. Guest Editors Fioravanti Fabio, Pettorossi Alberto, and Rossi Gianfranco OFFICIAL LINK (Verified SEPT 16, 2015)

ICLP 2012

28th International Conference on Logic Programming to be held in Budapest, Hungary, on September 4-8, 2012. Abstract registration deadline March 11, 2012

Elezioni 2012

As of 19/12/2012, GULP has a new president, vice, secretary, and executive board. They will stay in charge for three years, until 18/12/2015.

XXVII. IX CILC (2012), Roma La Sapienza (Italy)

Rome (Italy) June 6-7, 2012 Web Page: XXVII. IX CILC (2012) Program chair: Francesca Alessandra Lisi CILC 2012 Proceedings: published as CEUR Vol. 857 (free access) Special Issue: will be published by Journal of Logic and Computation (the papers are…

CILC 2012 conference report

CILC 2012, the 27th Italian Meeting on Logic Programming (and Computational Logic) was hosted by the  Dipartimento di Ingegneria Informatica, Automatica e Gestionale “A. Ruberti” of the University of Roma “La Sapienza” from June 6 to 7 2012 (partially co-located…

Constraints meet concurrency

By Jacopo Mauro Università di Bologna 10 Maggio 2012 Abstract e investigate the benefits that emerge when the fields of constraint programming and concurrency meet. On one hand, constraints can be use in concurrency theory to increase the conciseness and…

CILC 2011 conference report

From August 31th to September 2nd, the University of Chieti-Pescara hosted the CILC 2011 conference. It was the 26th edition of the annual meeting organized by the Italian Association for Logic Programming (GULP, Gruppo Ricercatori e Utenti di Logic Programming),…