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