Research Activities
Projects
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