Events I have been involved in

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

·         CILC '09, 24-esimo Convegno Italiano di Logica Computazionale, Ferrara, 25-26 Giugno 2009. (PC Member)

·         PEPM '09 ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation, Savannah, Georgia, USA, January 19-20, 2009. (PC Member)

·         CILC '08, 23-esimo Convegno Italiano di Logica Computazionale, Perugia, 10-12 Luglio, 2008. (PC Member)

·         CILC '07 22-esimo Convegno Italiano di Logica Computazionale, Messina, 21-22 Giugno, 2007. (PC Member)

·         ICLP'06, 22nd International Conference on Logic Programming, August 17-20, 2006, Seattle, Washington, USA. (PC Member)

·         Special Issue of FUNDAMENTA INFORMATICAE on Program Transformation (Guest editors: A. Pettorossi and M. Proietti)
Part 1: Volume 66, Number 4, April-May 2005
Part 2: Volume 69, Number 1-2, Winter 2005-2006

·         LOPSTR'05, International Symposium on Logic-based Program Synthesis and Transformation, Imperial College, London, UK, September 7 - 9, 2005. (Programme Committee Member)

·         CILC'05, 20-esimo Convegno Italiano di Logica Computazionale, 21-22 giugno 2005, Aula Marconi, Consiglio Nazionale delle Ricerche,
Piazzale Aldo Moro 7, Roma (Italy). (Organizing Committee Member)

·         CILC 2004 , 19-esimo Convegno Italiano di Logica Computazionale, 16-17 giugno 2004, Dipartimento di Matematica, Università di Parma. (Programme Committee Member)

·         58th Meeting of the IFIP Working Group 2.1, Rome, Italy, January 26 - 30, 2004. (Co-Organizer)

·         AGP'03 APPIA-GULP-PRODE 2003, JOINT CONFERENCE ON DECLARATIVE PROGRAMMING, September 3-5, 2003, Università "Mediterranea", Reggio Calabria,  ITALY. (Programme Committee Member)

·         LOPSTR 2003  International Symposium on Logic-based Program Development and Transformation, Uppsala, Sweden, August 25 - 27, 2003. (Programme Committee Member)

·         WRSC 2003  Workshop on Robust Software Construction, Hayama, Kanagawa, Japan, February 28 - March 2, 2003. (Invited lecturer)

·         LOPSTR 2002  12th International Workshop on Logic-based Program Development and Transformation, Madrid, Spain, September 17-20, 2002. (Programme Committee Member)

·         LOPSTR 2001  11th Workshop on Logic-based Program Synthesis and Transformation,  Paphos, Cyprus, Nov 28-30, 2001. (Programme Committee Member)

·         VCL 2001 2nd ACM-Sigplan Workshop on Verification and Computational Logic, Florence, Italy, September 4, 2001. (Programme Committee Member)

·         AGP 2000 Joint Conference on Declarative Programming, La Habana, Cuba, 4-7 December, 2000. (Programme Committee Member)

·         ESSLLI 2000 12th European Summer School in Logic, Language and Information, Birmingham, UK, 6-18 August, 2000. (Lecturer)

·         ESOP '99 European Symposium on Programming, Amsterdam, The Netherlands, March 20-28, 1999. (Programme Committee Member)

·         AGP'96, Joint Conf. on Declarative Programming, Donostia-San Sebastian, Spain, July 15-18, 1996. (Programme Committee Member)

·         LOPSTR'95, 5th International Workshop on Logic Program Synthesis and Transformation, Arnhem (Utrecht), The Netherlands, September 20-22, 1995. (Programme Chair)

·         Compulog Net Area Meeting on Program Development, Arnhem (Utrecht), The Netherlands, September 22, 1995. (Organizer)

·         LOPSTR'94, Fourth International Workshop on Logic Program Synthesis and Transformation, Pisa, Italy, June 20-21, 1994. (Programme Committee Member)

·         GULP-PRODE'94, Joint Conference on Declarative Programming, Peñiscola, Spain, September 19-22, 1994. (Programme Committee Member)

·         LOPSTR'93, Third International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993. (Programme Committee Member)

·         Workshops on Logic-based Program Synthesis and Transformation, LoPSTr