• Member of the steering committee of GAMES;
• Member of the steering committee of TABLEAUX;
• Member of the steering committee of TIME;
• Member of the steering committee of GandALF;
• Vice-President of the steering committee of the Italian Chapter of EATCS;
• Member of the program committee of M4M 2013;
• Member of the program committee of RuleML 2013;
• Member of the program committee of TIME 2013;
• Member of the program committee of GandALF 2013;
• Member of the program committee of ESSLLI 2013;
• Member of the program committee of ICLA 2013;
• Member of the program committee of JELIA 2012;
• Member of the program committee of TIME 2012;
• Member of the program committee of GAMES 2012;
• Member of the program committee of RuleML 2012;
• Member of the program committee of KR 2012;
• Member of the program committee of LATA 2012;
• Member of the program committee of RuleML-2011@BRF;
• Member of the program committee of TIME 2011;
• Member of the program committee of RuleML 2011;
• General chair of GandALF 2011;
• Member of the program committee of JELIA 2010;
• Member of the program committee of TIME 2010;
• Member of the program committee of ECAI 2010;
• Program co-chair of GandALF 2010;
• Member of the program committee of FoSSaCS 2010;
• Member of the program committee of M4M 2009;
• Member of the program committee and organization chair of GAMES 2009;
• Member of the program committee of TIME 2009;
• Member of the program committee of JELIA 2008;
• Member of the program committee of TIME 2008;
• Member of the program committee of M4M 2007;
• Member of the program committee of 15 YEARS OF DURATION CALCULUS 2007;
• Member of the program committee of TIME 2007;
• Member of the program committee of TABLEAUX 2007;
• Member of the program committee of JELIA 2006;
• General chair of TIME 2006;
• Member of the scientific committee of AICA 2005;
• Member of the program committee of TIME 2005;
• Member of the program committee of TIME 2004;
• Program co-chair of ESSLLI Workshop on Interval Temporal Logics and Duration Calculi 2003;
• Member of the program committee of TABIS 2003;
• Member of the program committee of TIME-ICTL 2003;
• Member of the program committee of APPIA-GULP-PRODE 2002;
• General co-chair of TIME 2002;
• Program co-chair of TIME 2001;
• Member of the program committee of TIME 2000;
• Member of the program committee of TIME 1999;
• Member of the program committee of TIME 1998;
• Program co-chair of Workshop on Temporal Logic (Amsterdam, October 1997);
• Member of the program committee of ICTL 1997;
• Member of the program committee of TIME 1997;
• Program co-chair of TIME 1996;
• Member of the program committee of TIME 1995