• International Conference on Software Engineering (ICSE'2005) (general chair)
  
  
• Principles of Software Engineering (PRISE'2004), Buenos Aires, Argentina, November 22, 2004 (Invited speaker)
  
  
• Software Engineering for Large-Scale Multi-Agent Programs (SELMAS'2004), Edinburgh, Scotland, May 25, 2004 (Keynote speaker and panelist)
  
  
• Fundamental Approaches to Software Engineering (FASE'2004), Barcelona, Spain, March 29, 2004 (Keynote speaker)
  
  
• International Workshop on Abstract State Machines (ASM'2003), Taormina, Italy (Keynote speaker)
  
  
• Mobile Computing Middleware 2003 (program committee member)
  
  
• International Conference on  Distributed Computing Systems (ICDCS'2003), Providence, Rhode Island, USA, May, 2003. (area vice chair)
  
  
• International Conference on Software Engineering (ICSE'2003), Portland, Oregon, USA, May, 2003 (program committee member)
  
  
• Workshop on Self-Healing Systems (WOSS'2002), Charleston, South Carolina, USA, November, 2002 (program committee member)
  
  
• Software Engineering for Large-Scale Multi-Agent Programs (SELMAS'2002), Orlando, Florida, USA, May 19, 2002 (session chair and panelist)
  
  
• International Conference on Coordination Models and Languages (COORDINATION'2002), York, UK, April, 2002 (steering committee member)
  
  
• Transactions on Software Engineering and Methodology, (editorial board member)
  
  
• 10th International Symposium on the Foundations of Software Engineering (FSE'2002), Charleston, South Carolina, USA, November, 2002 (program committee member)
  
  
• Workshop on Software Engineering and Mobility, organized in conjuction with International Conference on Software Engineering (ICSE'2001), Toronto, Canada, May 2001. (co-chair with G.P. Picco)
  
  
• International Conference on Software Engineering (ICSE'2001), Toronto, Canada, May 2001. (program committee member)
  
  
• Special Issue on Software Engineering for Mobility, Kluwer Journal of Automated Software Engineering, 2000 (co-editor with A. Murphy)
  
  
• Fourth International Conference on Coordination Models and Languages (COORDINATION'2000), Limassol,
  Cyprus, September 2000. (co-chair with A. Porto)
  
  
• International Conference on Software Engineering (ICSE'2000), Limerick, Ireland, June 2000. (program committee member)
  
  
• Formal Methods for Parallel Programming: Theory and Applications(FMPPTA), Cancun, Mexico, May 5, 2000. (program committee member)