marcomontali

talks

invited talks and keynotes

2016
  • Invited talk on Temporal Logics over Finite Traces for Declarative BPM: a Success Story at the 1st International Workshop on Formal Methods and Artificial Intelligence (FMAI 2017), 22/02/2016, Naples, Italy. Slideshare
2016
  • Keynote speech on DB-Nets: on the Marriage of Colored Petri Nets and Relational Databases at General Meeting of the SOAMED PhD School, 29/11/2016, Zeuthen (Berlin), Germany. Slideshare
  • Keynote speech on Marrying data and processes: from model to event data analysis at the Workshop on Algorithms&Theories for the Analysis of Event Data (ATAED 2016), satellite event of both the 37th International Conference on Application and Theory of Petri Nets and Concurrency and the 16th International Conference on Application of Concurrency to System Design (PN 2016 - ACSD 2016), 21/06/2016, Torun (Poland). Slideshare
2015
2014
  • Invited talk on Verification of Parameterized Data-Aware Dynamic Systems at the First Workshop on Parameterized Verification (PV 2014), satellite event of the 25th International Conference on Concurrency Theory (CONCUR 2014), 06/09/2016, Rome (Italy). Slideshare
2012
  • Invited talk on Conformance Verification when Dealing with Computerized and Human-Enhanced Processes at the Lorentz Centre Workshop on Foundations of Biomedical Knowledge Representation (FBKR 2012), 01/11/2012, Leiden (the Netherlands). Slides PDF
2010
  • Keynote speech on Monitoring Time-Aware Commitments at the 2010 Annual meeting of the Interdisciplinary Laboratory on Interacting Knowledge (ILIKS 2010), 30/11/2010, Trento (Italy). Slideshare
2007
  • Invited talk on Declarative Specification and Verification of Service Choreographies at the PSW thematic day on web services verification, 12/12/2007, LORIA-INRIA, Nancy (France).

presentations at international conferences and workshops

2017
2015
2014
2013
2011
2010
2009
2008
2006
2005

seminars

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.

industry talks and talks to the general audience

2016
  • Invited presentation (in Italian) on From Leibniz to Turing: the birth of computers and the discovery of the limitations of mathematics at Liceo "Cantore", Brunico (Italy), 26/05/2016. Slides
2015
  • Invited presentation (in Italian) on Towards a business process management founded on reality at the 5th Workshop "Computer Science Research Meets Business", Bozen-Bolzano (Italy), 26/11/2015. Slides
  • Invited presentation (in Italian) on Towards IT support to organizations based on reality at the industrial day "Collavoriamo", organized by the company Info Easy SRL, Imola (Italy), 24/11/2015. Slides
2012
  • Invited presentation (together with Rosella Gennari) on Technology at School: Why, How, for Whom at the opening ceremony of a Samsung multimedia classroom in Meran/o (Italy), 18/12/2012.
  • Invited presentation (in Italian) on Sharing Knowledge: Towards the Convergence of Data, Processes, and Humans at the industrial day on "Cloud Computing and Mobile", jointly organized by Horizon and Samsung Italia, Bozen-Bolzano (Italy), 11/10/2012. Slides