• Member of the Organising Committee of:
  • AIxIA24 – 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024), 25–28 November 2024, Bolzano, Italy
  • OVERLAY24 – 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2024), 28–29 November 2024, Bolzano, Italy
  • DL24 – 37th International Workshop on Description Logics (DL 2024), 18–21 June 2024, Bergen, Norway
• Reviewer for:
  • Information and Computation, Journal of Automated Reasoning, Journal of Artificial Intelligence Research, Journal of Philosophical Logic, Artificial Intelligence, Synthese, Semantic Web Journal, Journal of Logic, Language and Information
• Program Committee Member of:
  • AAAI 2021, IJCAI‑ECAI 2022, KR4HI 2022, AAAI 2023, IJCAI 2023, DL 2023, ECAI 2023, JELIA 2023, OVERLAY 2023, AAAI 2024, DL 2024, IJCAI 2024, KR 2024, RuleML+RR 2024, SAC 2025, AAAI 2025, IJCAI 2025, RuleML+RR 2025
• Examination Committee Member of:
  • Anum Rehman – Master’s Thesis, Finding Common Grounds: The Moral Machine Case, Supervisor: Prof. Ana Ozaki, 17 March 2023, Department of Informatics, University of Bergen, Norway (online)