Welcome     Bio sketch     Jobs     Courses     Projects     Boards/Committees
Publications     Seminars     Research Interests     PhD Students     Digressions

Editorial Boards

• Member of the editorial board of Logical Methods in Computer Science
• Member of the editorial board of Algorithms
• Member of the editorial board of Informatica
• Member of the scientific committee of Journal of Ethics and Legal Technologies, Padova University Press
• Member of the editorial board of Far East Journal of Experimental and Theoretical Artificial Intelligence (2007-2010)

Committees

• President of the Council of the Italian Chapter of EATCS;
• Member of the steering committee of TIME;
• Chair of the steering committee of GandALF;
• Co-chair (with Andrea Orlandini) of the OVERLAY research group on Formal Methods for AI;
• Member of the ESF College of Expert Reviewers (2016-2019);
• Member of the ESF Pool of Reviewers (2009-2012);
• Chair of the steering committee of TIME(2016-2022);
• Member of the steering committee of TABLEAUX (2010-2013);
• Member of the steering committee of the ESF project GAMES (2008-2013);
• Senior member of the program committee of IJCAI 2025;
• Senior member of the program committee of AAAI 2025;
• Member of the program committee of DX 2024;
• Member of the program committee of AIxIA 2024;
• Member of the program committee of KR 2024;
• Member of the program committee of RuleML+RR 2024;
• Member of the program committee of ECAI 2024;
• Member of the program committee of IJCAI 2024;
• Member of the program committee of ADBIS 2024;
• Member of the program committee of ICAPS 2024;
• Senior member of the program committee of AAAI 2024;
• Member of the program committee of DeclarativeAI 2023;
• Member of the program committee of JELIA 2023;
• Member of the program committee of DX 2023;
• Member of the program committee of ADBIS 2023;
• Member of the program committee of IJCAI 2023;
• Senior member of the program committee of AAAI 2023;
• General chair of AIxIA 2022;
• Member of the program committee of DeclarativeAI 2022;
• Member of the program committee of ADBIS 2022;
• Member of the program committee of IJCAI-ECAI 2022;
• Member of the program committee of CILC 2022;
• Member of the program committee of STACS 2022;
• Member of the program committee of AAAI 2022;
• Member of the program committee of ICTAI 2021;
• Member of the program committee of RuleML+RR 2021;
• Member of the program committee of CILC 2021;
• Member of the program committee of FORMATS 2021;
• Member of the program committee of JELIA 2021;
• Member of the program committee of AAAI 2021;
• Member of the program committee of CILC 2020;
• Member of the program committee of FSTTCS 2020;
• Member of the program committee of ICTAI 2020;
• Member of the program committee of Overlay 2020;
• Member of the program committee of GandALF 2020;
• Member of the organising committee of RACES 2020;
• Member of the program committee of RuleML+RR 2020;
• Member of the program committee of IJCAI-PRICAI 2020;
• Member of the program committee of ECAI 2020;
• Member of the program committee of ADBIS 2020;
• Member of the program committee of GCAI 2020;
• Member of the program committee of AAAI 2020;
• Member of the program committee of CSL 2020;
• Member of the program committee of Overlay 2019;
• Member of the program committee of ADBIS 2019;
• Member of the program committee of IJCAI 2019;
• Member of the program committee of JELIA 2019;
• Member of the program committee of FoSSaCS 2019;
• Member of the program committee of CILC 2018;
• Member of the program committee of GCAI 2018;
• Member of the program committee of RuleML+RR 2018;
• Member of the program committee of GandALF 2018;
• Member of the program committee of CONCUR 2018;
• Organization co-chair of Logic Colloquium 2018;
• Senior member of the program committee of IJCAI-ECAI 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