marcomontali

talks

invited talks and keynotes

2016
  • Invited presentation 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.
  • Keynote 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).
2015
  • Invited talk on Data and Processes: a Challenging, though Necessary, Marriage at the 14th Italian Conference on Artificial Intelligence (#AI4), related to the Marco Somalvico 2015 Award, 25/09/2015, Ferrara (Italy).
2014
  • Invited presentation 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).
2012
  • Invited presentation 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).
2010
  • Invited talk on Monitoring Time-Aware Commitments at the 2010 Annual meeting of the Interdisciplinary Laboratory on Interacting Knowledge (ILIKS 2010), 30/11/2010, Trento (Italy).
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

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.
  • Invited seminar on Data-Aware Business Processes - Balancing Between Expressiveness and Verifiability at the University of Verona (Italy), 31/05/2016.
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.
2012
  • Invited seminar on Towards Convergence of Data and Processes: the Artifact-Centric Approach at FBK-IRST, Trento (Italy), 20/12/2012.
  • 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.
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.
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.
  • Invited seminar on Business Constraints Monitoring and Operational Support at the Eindhoven University of Technology (the Netherlands), 29/07/2010.
  • 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.
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.
  • 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.
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.