Invited Speaker: Claudio Di Ciccio


Claudio Di Ciccio is an associate professor at the Department of Computer Science at Sapienza University of Rome. He previously worked as an assistant professor at the Vienna University of Economics and Business (WU Vienna, Austria). He received his PhD in Computer Science and Engineering from Sapienza in 2013 and has obtained national habilitations in the areas of Information Systems and Computer Science.

His research interests focus on Process Mining, Automated Reasoning, and Blockchain. Claudio Di Ciccio is a member of the Steering Committee of the IEEE Task Force on Process Mining. He has also served as co-chair of various conferences, including the first Blockchain Forum at BPM in 2019, the third International Conference on Process Mining in 2021, and the twentieth International Conference on Business Process Management in 2022. Currently, he is the general co-chair of the upcoming 5th International Conference on Process Mining (ICPM 2023).

For more information, visit here

Talk title: Automated Reasoning and Data Analytics for Declarative Process Mining

A process describes the temporal evolution of a system. Capturing the rules that govern its control flow helps to understand the boundaries of its behaviour. With a declarative specification, a process is defined by those boundaries, expressed in terms of constraints rooted in temporal logic. The execution dynamics can vary as long as they do not violate such constraints, which specify the conditions that require or forbid the execution of actions. Manually providing a complete list of rules that depict process behaviour consistently, correctly, and precisely is a strenuous task. Process mining can offer valuable help to this end by resorting to the analysis of process data. This talk revolves around the recent advancements in research concerning the discovery of, and reasoning on, the declarative specifications of processes. The discourse will specifically focus on core tasks pertaining to the data-based extraction and verification of rules from a process management and mining perspective, with remarks on open challenges and future research avenues in the field.