Talks and presentations
Invited talks
Mar 2024 - Supervisory control of business processes
TEWI Colloquium series
University of Klagenfurt, Austria.Dec 2019 - Temporal and Resource Controllability of Workflows Under Uncertainty
Vadid for 2 ETCS credits for the PhD students of the doctoral program in Mathematics
Department of Mathematics and Computer Science, University of Ferrara, Italy.
Speaker for the following conferences
Sep 2023 - FM-BPM 2023 @ BPM 2023, 21st International Conference on Business Process Management, 11/09/2023 - 15/09/2023, Utrecht, The Netherlands
Nov 2022 - 4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2022)
Sep 2021 - 3rd Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2021)
Feb 2021 - 35th AAAI Conference on Artificial Intelligence (AAAI 2021)
Oct 2020 - 30th International Conference on Automated Planning & Scheduling (ICAPS 2020)
Sep 2020 - 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
Sep 2020 - 4th Workshop on Artificial Intelligence for Business Process Management (AI4BPM 2020)
Nov 2019 - 1st Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2019)
Oct 2019 - 26th International Symposium on Temporal Representation and Reasoning (TIME 2019)
Sep 2019 - 3rd Workshop on Artificial Intelligence for Business Process Management (AI4BPM 2019)
Jan 2018 - 10th International Conference on Agents and Artificial Intelligence (ICAART 2018)
Oct 2017 - 24th International Symposium on Temporal Representation and Reasoning (TIME 2017)
Sep 2017 - 15th International Conference on Business Process Management (BPM 2017)
Feb 2017 - 9th International Conference on Agents and Artificial Intelligence (ICAART 2017)
Mar 2016 - 6th ACM Conference on Data and Application Security and Privacy (CODASPY 2016)