Research Activities


Progetto MIUR PRIN 2008

Workshop POR calabria, Pescara 1-2 Aprile 2008

PRIN 2006 Progetto MIUR PRIN 2005 n.2005-015491

Italian National Project CoVer 2002-2004 Constraint-based Verification of Reactive Systems

Organizational activities

SAC-2010 : Track on Constraint Solving and Programming

CP-2011: International Conference on Principles and Practice of Constraint Programming - Perugia, Italy

Phd Students and Alumni

Current Phd students

Marco Bottalico
Paola Campli
Giorgio Gosti

Past Phd students

Pamela Peretti
Francesco Santini