The workshop Algorithms & Theories for the Analysis of Event Data (ATAED 2021) is a satellite event of the 42th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2021). The workshop aims to attract papers related to process mining, region theory and other synthesis techniques. These techniques have in common that "lower level" behavioral descriptions (event logs, sets of partial orders, transition systems, etc.) are used to create "higher level" process models (e.g., various classes of Petri nets, BPMN, or UML activity diagrams).
ATAED 2021 solicits papers related to process mining and region theory. However, the scope is not limited to this. The program committee invites submission of full papers (up to 15 pages) and of short papers (up to 5 pages). Papers should be submitted as pdf-files using the Springer LNCS-format. Papers need to be submitted via Easychair.

Process mining is to analyze event data, thereby focusing on behavior rather than correlations and simplistic performance indicators. For example, event logs can be used to automatically learn end-to-end process models based on recorded event data. Next to the automated discovery, there are process mining techniques to analyze bottlenecks, to uncover hidden inefficiencies, to check compliance, to explain deviations, to predict performance, and to guide users towards "better" processes.
Region theory is to synthesize a process model from a behavioral description. Applying the theory of regions guarantees the behavioral description and the language of the synthesized model to be equivalent. Various forms of region-based ideas (language-based and state-based variants) have been applied in the context of process mining. Here, there is only example behavior. This, creates many theoretical challenges with high practical relevance.