Part: Declarative Processes -- Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces -- Hierarchical Declarative Modelling with Refinement and Sub-processes -- Discovering Target-Branched Declare Constraints -- Part: User-Centered Process Approaches -- Crowd-Based Mining of Reusable Process Model Patterns -- A Recommender System for Process Discovery -- Listen to Me: Improving Process Model Matching through User Feedback -- Part: Process Discovery -- Beyond Tasks and Gateways: Discovering BPMN Models with Subprocesses, Boundary Events and Activity Markers -- A Genetic Algorithm for Process Discovery Guided by Completeness, Precision and Simplicity -- Constructs Competition Miner: Process Control-Flow Discovery of BP-Domain Constructs -- Part: Integrative BPM -- Chopping Down Trees vs. Sharpening the Axe – Balancing the Development of BPM Capabilities with Process Improvement -- Implicit BPM: A Business Process Platform for Transparent Workflow Weaving -- Modeling Concepts for Internal Controls in Business Processes – An Empirically Grounded Extension of BPMN -- Part: Resource and Time Management in BPM -- Mining Resource Scheduling Protocols -- Dealing with Changes of Time-Aware Processes -- Temporal Anomaly Detection in Business Processes -- Part: Process Analytics -- A General Framework for Correlating Business Process Characteristics -- Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures -- Where Did I Go Wrong? Explaining Errors in Business Process Models -- Part: Industry Papers -- User-Friendly Property Specification and Process Verification – A Case Study with Vehicle-Commissioning Processes -- Analysis of Operational Data for Expertise Aware Staffing -- From a Family of State-Centric PAIS to a Configurable and Parameterized Business Process Architecture -- Part: Short Papers: Process Enabled Environments -- DRain: An Engine for Quality-of-Result Driven Process-Based Data Analytics -- Use Your Best Device! Enabling Device Changes at Runtime -- Specifying Flexible Human Behavior in Interaction-Intensive Process Environments -- Separating Execution and Data Management: A Key to Business Process-as-a-Service (BPaaS) -- Assessing the Need for Visibility of Business Processes – A Process Visibility Fit Framework -- Part: Short Papers: Discovery and Monitoring -- The Automated Discovery of Hybrid Processes -- Declarative Process Mining: Reducing Discovered Models Complexity by Pre-Processing Event Logs -- SECPI: Searching for Explanations for Clustered Process Instances -- Business Monitoring Framework for Process Discovery with Real-Life Logs -- Predictive Task Monitoring for Business Processes.