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 workshops/conferences

• Feb 2025 - DTW 2025, International Workshop on Digital Twins: Mathematical Analysis, Formal Methods and Scientific Machine Learning, 19/02/2025 - 21/02/2025, Padova, Italy

• Nov 2024 - OVERLAY 2024, 6th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis, 28/11/2024 - 29/11/2024, Bolzano, Italy

• Oct 2024 - ECAI 2024, 27TH European Conference on Artificial Intelligence, 20/10/2024 - 24/10/2024, Santiago de Compostela, Spain

• 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)