2019 |
-
Invited seminar on
Cooking with Data and Processes
at the Eindhoven University of Technology (the Netherlands), 27/02/2019.
Slides
-
Invited seminar on
10 Years Playing with Declare and Temporal Logics on Finite Traces
at the Eindhoven University of Technology (the Netherlands), 14/05/2019.
Slides
-
Invited seminar on
10 Years Playing with Declare and Temporal Logics on Finite Traces
at RWTH Aachen (Germany), 16/05/2019.
Slides
|
2018 |
-
Invited seminar on
Temporal Logics over Finite Traces for Declarative BPM
at the Humboldt University of Berlin (Germany), 18/11/2018.
|
2016 |
-
Invited seminar on
Declarative, Constraint-Based Business Process Management
at the University of Seville (Spain), 12/12/2016.
Slides
-
Invited seminar on
Data-Aware Business Processes - Balancing Between Expressiveness and Verifiability
at the University of Verona (Italy), 31/05/2016.
Slides
|
2015 |
-
Invited seminar
on
Online Monitoring of Business Constraints and Metaconstraints using LTL and LDL over Finite Traces at the University of Luxembourg (Luxembourg), 16/01/2015.
Slides
|
2012 |
-
Invited seminar
on
Towards Convergence of Data and Processes: the Artifact-Centric Approach at FBK-IRST, Trento (Italy), 20/12/2012.
Slides
-
Seminar
on
Verification of Relational Data-Centric Systems with External Services at the KRDB Research Centre for Knowledge and Data, Faculty of Computer Science, Free University of Bozen-Bolzano (Italy), 03/05/2012.
Slides
|
2011 |
-
Seminar
on
Runtime Reasoning with the Event Calculus: from Theory to Practice at the KRDB Research Centre for Knowledge and Data, Faculty of Computer Science, Free University of Bozen-Bolzano (Italy), 06/07/2011.
Slides
|
2010 |
-
Invited seminar
on the
Specification and Verification of Declarative Open Interaction Models at the KRDB Research Centre for Knowledge and Data, Faculty of Computer Science, Free University of Bozen-Bolzano (Italy), 15/12/2010.
Slides
-
Invited seminar
on
Business Constraints Monitoring and Operational Support at the Eindhoven University of Technology (the Netherlands), 29/07/2010.
Slides
-
Invited tutorial
on
Reasoning on Execution Traces with the Event Calculus at the Eindhoven University of Technology (the Netherlands), 19/07/2010.
|
2008 |
-
Presentation
on the
Verification of Declarative Business Processes and Choreographies at the final meeting of the PRIN 2005 Project "Specification and Verification of Agent Interaction Protocols", University of Piemonte Orientale, Alessandria (Italy), 17/01/2008.
-
Invited seminar
on the
Verification of Declarative Business Processes and Choreographies at the Eindhoven University of Technology (the Netherlands), 08/01/2008.
|