Yearly Archives: 2012

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…