Mar 2024
TEWI Colloquium series
The talk summarizes the work published in Information Systems (2023), which applies supervisory control to business processes with resources, parallel activities, loops, and sources of uncertainty.
Talks and presentations
Invited talks
Dec 2019
Temporal and resource controllability of workflows under uncertainty
Valid for 2 ECTS credits for the Ph.D. students of the doctoral program in Mathematics
The talk summarizes an approach based on temporal and non-temporal constraint networks for modelling business processes and synthesizing control strategies for their execution under uncertainty.
Speaker at international conferences and workshops
Conferences and symposia
AAAI
AAAI Conference on Artificial Intelligence
2021 · online
ECAI
European Conference on Artificial Intelligence
2024 · Santiago de Compostela, Spain
ICAPS
International Conference on Automated Planning and Scheduling
2020 · online
BPM
International Conference on Business Process Management
2017 · Barcelona, Spain
TIME
International Symposium on Temporal Representation and Reasoning
2017 · Mons, Belgium 2019 · Málaga, Spain 2020 · online
CODASPY
ACM Conference on Data and Application Security and Privacy
2016 · New Orleans, USA
ICAART
International Conference on Agents and Artificial Intelligence
2017 · Porto, Portugal 2018 · Madeira, Portugal
Workshops
OVERLAY
Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
2019 · @ AIxIA 2019, Rende 2021 · @ GandALF 2021, Padova 2022 · @ AIxIA 2022, Udine 2024 · Bolzano
AI4BPM
International Workshop on Artificial Intelligence for Business Process Management
2019 · @ BPM 2019, Vienna, Austria 2020 · @ BPM 2020, online
FM-BPM
International Workshop on Formal Methods for Business Process Management
2023 · @ BPM 2023, Utrecht, The Netherlands
DTW
International Workshop on Digital Twins
2025 · Padova, iNEST day