Italian Conference on Computational Logic

CILC 2014: Torino, Italy

CILC 2013: Catania, Italy

CILC 2012: Rome, Italy

CILC 2011: Pescara, Italy

CILC 2010: Rende, Italy