Editorial Boards



• Member of the editorial board of Logical Methods in Computer Science
• Member of the editorial board of Informatica
• Member of the editorial board of Far East Journal of Experimental and Theoretical Artificial Intelligence (2007-2010)


Committees



• Chair of the steering committee of TIME;
• Member of the steering committee of GandALF;
• Vice-President of the council of the Italian Chapter of EATCS;
• Member of the ESF College of Expert Reviewers; (2016-2019)
• Member of the ESF Pool of Reviewers; (2009-2012)
• Member of the steering committee of TABLEAUX (2010-2013);
• Member of the steering committee of the ESF project GAMES (2008-2013);
• Organization co-chair of Logic Colloquium 2018;
• Member of the program committee of Computability in Europe 2018;
• Member of the program committee of AAAI 2018;
• Member of the program committee of GCAI 2017;
• Member of the program committee of GandALF 2017;
• Member of the program committee of TABLEAUX 2017;
• Member of the program committee of CSL 2017;
• Member of the program committee of IJCAI 2017;
• Member of the program committee of JELIA 2016;
• Member of the program committee of GCAI 2016;
• Member of the program committee of GandALF 2016;
• Member of the program committee of ECAI 2016;
• Member of the program committee of IJCAI 2016;
• Member of the program committee of RuleML 2016;
• Member of the program committee of MOVEP 2016;
• Member of the program committee of AiML 2016;
• Member of the program committee of GCAI 2015;
• Member of the program committee of TIME 2015;
• Member of the program committee of IJCAI 2015;
• Member of the program committee of TTL 2015;
• Member of the program committee of Highlights 2014;
• Member of the program committee of JELIA 2014;
• Member of the program committee of TIME 2014;
• Member of the program committee of RuleML 2014;
• Member of the program committee of KR 2014;
• 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;
• Organization chair and member of the program committee 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;
• Program co-chair of AAAI Workshop on Spatial and Temporal Granularity 2000;
• 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