2025 - ongoing
Associate Editor
Service
Editorial boards
Journals
Dec 2024 - ongoing
Track Editor
Journal of Artificial Intelligence Research (JAIR)
Special track: Integration of Logical Constraints in Deep Learning
Apr 2024 - Jul 2025
Executive Guest Editor
Information Systems (Elsevier)
Workshop proceedings
2024
Guest Editor
CEUR Workshop Proceedings
Program committees
Conferences and symposia
IJCAI
International Joint Conference on Artificial Intelligence
BPM
International Conference on Business Process Management, Foundation Track
Workshops
OVERLAY
AI4BPM
DT4BP
International Workshop on Digital Twins for Business Processes
STRL
International Workshop on Spatio-Temporal Reasoning and Learning
Further reviewing activity for conferences
Design Automation Conference (DAC 2022); Design, Automation and Test in Europe Conference (DATE 2021, 2022); International Symposium on Theoretical Aspects of Computer Science (STACS 2022); ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2021); IEEE European Symposium on Security and Privacy (EuroS&P 2019); European Symposium on Research in Computer Security (ESORICS 2016, 2017, 2019); Forum on Specification & Design Languages (FDL 2019); International Conference on Agents and Artificial Intelligence (ICAART 2017); Principles of Security and Trust (POST 2017).
Organization of workshops and conferences
DTW
Workshop co-chair
International Workshop on Digital Twins: Mathematical Analysis, Formal Methods, and Scientific Machine Learning
OVERLAY
Workshop co-chair
Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
ICANN
Communication chair
International Conference on Artificial Neural Networks
2026 · Padova, Italy
DTW
Session chair
Keynote talks
2025 · Padova, Italy
DTW
Moderator
Round table: Role and function of interconnected research ecosystems
2025 · Padova, iNEST day
CSF
Local organizing committee
IEEE Computer Security Foundations Symposium and 5 affiliated workshops (ASA, CryptoForma, FCS, GraMSec, STAST)
2015 · Verona, Italy
GandALF
Local organizing committee
International Symposium on Games, Automata, Logics and Formal Verification
2014 · Verona, Italy
ICHI
Local organizing committee
International Conference on Healthcare Informatics
2014 · Verona, Italy
TIME
Local organizing committee
International Symposium on Temporal Representation and Reasoning
2014 · Verona, Italy
Journal reviewing activity
Information Systems, Information Sciences, Information and Computation, Expert Systems With Applications, ACM Transactions on Embedded Computing Systems, Journal of Artificial Intelligence Research, Automatica, International Journal of Automation and Computing, Logical Methods in Computer Science, Data & Knowledge Engineering.