Service
Editorialships
- Executive Guest Editor for Information Systems (Verification, Control, and Repair in Business Process Management)
Program chair
co-chair of the International Workshop on Digital Twins: Mathematical Analysis, Formal Methods, and Scientific Machine Learning (DTW 2025)
co-chair of the 6th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata and sYnthesis (OVERLAY 2024)
Program committees
39th AAAI Conference on Artificial Intelligence (AAAI 2025)
3rd International Workshop on Spatio-Temporal Reasoning and Learning (STRL 2024)
31st International Symposium on Temporal Representation and Reasoning (TIME 2024)
2nd International Workshop on Formal Methods for Business Process Management (FM-BPM 2024)
15th Games, Automata, Logics, and Formal Verification (GandALF 2024)
27th European Conference on Artificial Intelligence (ECAI 2024)
33rd International Joint Conference on Artificial Intelligence (IJCAI 2024)
8th International Workshop in Artificial Intelligence for Business Process Management (AI4BPM 2024)
38th AAAI Conference on Artificial Intelligence (AAAI 2024)
5th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata and sYnthesis (OVERLAY 2023)
37th AAAI Conference on Artificial Intelligence (AAAI 2023)
14th Games, Automata, Logics, and Formal Verification (GandALF 2023)
30th International Symposium on Temporal Representation and Reasoning (TIME 2023)
1st International Workshop on Formal Methods for Business Process Management (FM-BPM 2023)
7th International Workshop in Artificial Intelligence for Business Process Management (AI4BPM 2023)
2nd International Workshop on Digital Twins for Business Processes (DT4BP 2023)
3rd Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata and sYnthesis (OVERLAY 2021)
Organizing committees
28th IEEE Computer Security Foundations Symposium (CSF 2015) and affiliated workshops (ASA, CryptoForma, FCS, GraMSec, STAST)
5th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2014)
3rd International Conference on Healthcare Informatics (ICHI 2014)
21st International Symposium on Temporal Representation and Reasoning (TIME 2014)
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 2019, 2017, 2016)
Forum on specification & Design Languages (FDL 2019)
International Conference on Agents and Artificial Intelligence (ICAART 2017)
Principles of Security and Trust (POST 2017)