· 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