maurizio's picture

Maurizio Proietti

Senior Researcher

Viale Manzoni, 30, I-00185 Roma, Italy
Phone: +39 06 7716 426
Fax: +39 06 7716 461
firstname dot familyname at iasi cnr it

POPL'13: 40^th ACM Symposium on Principles of Programming Languages, Rome, Italy, January 23-25, 2013.

NGEBIS (Next Generation Enterprise and Business Innovation Systems): A workshop organised by the BIVEE Project, co-located with CAiSE 2012.

ICLP'11 27th International Conference on Logic Programming, Lexington, Kentucky, USA, July 6-10, 2011.

PEPM'11 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, January 24-25, 2011, Austin, Texas, USA.

CILC 2010 25-esimo Convegno Italiano di Logica Computazionale, Dipartimento di Matematica dell'Università della Calabria, 7-9 luglio 2010.

GULP: The Italian Association for Logic Programming