mm::talks

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
Invited talk on Data and Processes: a Challenging, though Necessary, Marriage at the 14th Italian Conference on Artificial Intelligence (AIxIA 2015), related to the Marco Somalvico 2015 Award, 25/09/2015, Ferrara (Italy). Slideshare URL
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
Presentation of the paper Semantic DMN: Formalizing Decision Models with Domain Knowledge at the 1st International Joint Conference Conference on Rules and Reasoning (RuleML+RR 2017), 12/07/2017, London (UK). Slides PDF
2015
Presentation of the paper Declarative Process Modeling in BPMN at the 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015), 10/06/2015, Stockholm (Sweden). Slides PDF Presentation of the paper Verification of Relational Multiagent Systems with Data Types at the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), 27/01/2015, Austin, (Texas, USA). Slides PDF
2014
Presentation of the paper Monitoring Business Metaconstraints Based on LTL & LDL for Finite Traces at the 12th International Conference on Business Process Management (BPM 2014), 11/09/2014, Eindhoven (the Netherlands). Slides PDF Presentation of the paper State-Boundedness in Data-Aware Dynamic Systems at the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), 21/07/2014, Vienna (Austria). Slides PDF Presentation of the paper Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems at the 29th Italian Conference on Computational Logic (CILC 2014), 17/06/2014, Torino (Italy). Slides PDF Presentation of the paper Verification of Data-Aware Commitment-Based Multiagent System at the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014), 21/05/2014, Paris (France). Slides PDF
2013
Presentation on Data-Aware Business Processes - Formalization and Reasoning Support at the Dagstuhl 2013 Seminar on Verifiably Secure Process-Aware Information Systems, 20/08/2013, Schloss Dagstuhl (Germany). Slides Presentation of the paper Verification and Synthesis in Description Logic Based Dynamic Systems at the 7th International Conference on Web Reasoning and Rule Systems (RR-2013), 27/07/2013, Mannheim (Germany). Slides PDF Presentation of the paper Verification and Synthesis in Description Logic Based Dynamic Systems at the 32nd ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2013), 23/06/2013, New York (USA). Slides PDF Presentation On the Relationship between OBDA and Relational Mapping at the Dagstuhl 2013 Seminar on Automated Reasoning on Conceptual Schemas, 20/05/2013, Schloss Dagstuhl (Germany). Slides
2011
Presentation of the paper Conformance Checking of Executed Clinical Guidelines in presence of Basic Medical Knowledge at the 4th International Workshop on Process-Oriented Information Systems in Healthcare (ProHealth’11), 29/08/2011, Clermont-Ferrand (France). Slides PDF
2010
Presentation of the paper Monitoring Time-Aware Social Commitments with Reactive Event Calculus at the 7th International Symposium "From Agent Theory to Agent Implementation" (AT2AI-7), 04/06/2010, Vienna (Austria). PDF
2009
Presentation of the demo A REC-Based Commitment Tracking Tool at the 10th Italian Workshop "From Objects to Agents" (WOA 2009), 09/07/2009, Parma (Italy). PDF
2008
Presentation of the paper Verification of Choreographies During Execution Using the Reactive Event Calculus at the 5th International Workshop on Web Services and Formal Methods (WS-FM 2008), 05/09/2008, Milano (Italy). PDF Presentation of the paper Checking Compliance of Execution Traces to Business Rules at the 4th International Workshop on Business Process Intelligence (BPI 2008), 01/09/2008, Milano (Italy). PDF
2006
Presentation of the paper Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool at the 3rd International Workshop on Web Services and Formal Methods (WS-FM 2006), 09/09/2006, Vienna (Austria). PDF Presentation of the paper Abduction for Specifying and Verifying Web Service Choreographies at the 4th International Workshop on AI for Service Composition (AISC 2006), 28/08/2006, Riva del Garda (Italy).
2005
Presentation of the paper Using Social Integrity Constraints for On-the-fly Compliance Verification of Medical Protocols at the 18th IEEE Symposium on Computer Based Medical Systems (CBMS'05), 24/06/2005, Dublin (Ireland). PDF

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