08:00 – 09:00 Registration
09:00 – 10:00 Keynote Speaker – Henderik Proper
10:00 – 10:30 Opening Session
10:30 – 11:00 Coffee Break
11:00 – 12:30 Session II
Verifying Petri Net-Based Process Models using Automated Planning
Simone Agostinelli (Sapienza Università di Roma, Italy), Fabrizio Maria Maggi (University of Tartu, Estonia), Andrea Marrella (Sapienza Università di Roma, Italy), and Massimo Mecella (Sapienza Università di Roma, Italy)
An Agent-Based Process Mining Architecture for Emergent Behavior Analysis
Rob H. Bemthuis (University of Twente, The Netherlands), Martijn Koot (University of Twente, The Netherlands), Martijn R. K. Mes (University of Twente, The Netherlands), Faiza A. Bukhsh (University of Twente, The Netherlands), Maria-Eugenia Iacob (University of Twente, The Netherlands), and Nirvana Meratnia (University of Twente, The Netherlands)
Challenges in Knowledge Intensive Process Management
Fabrice Boissier (Centre de Recherche en Informatique, Université Paris 1 Panthéon – Sorbonne), Irina Rychkova (Centre de Recherche en Informatique, Université Paris 1 Panthéon – Sorbonne), and Bénédicte Le Grand (Centre de Recherche en Informatique, Université Paris 1 Panthéon – Sorbonne)
12:30 – 14:00 Lunch Break
14:00 – 15:30 Session III: Paper Presentation
Using Heuristic Algorithms for Fast Alignment between Business Processes and Goals
Andrey V. Skobtsov (National Research University Higher School of Economics) and Anna A. Kalenkova (National Research University Higher School of Economics)
A Preliminary Framework for Strategic and Compliance Monitoring
Evellin Cardoso (Free University of Bolzano, Italy) and Marco Montali (Free University of Bolzano, Italy)
Discussion
15:30 – 16:00 Coffee Break