[AISWorld] Call for papers Algorithms & Theories for the Analysis of Event Data (ATAED'2015) - Brussels, Belgium, June 2015

[Aalst, W.M.P. van der]

Call for papers

Algorithms & Theories for the Analysis of Event Data (ATAED'2015)

Brussels, Belgium, June 22-23, 2015

The workshop Algorithms & Theories for the Analysis of Event Data (ATAED'2015) is a satellite event of both the 36th International Conference on Application and Theory of Petri Nets and Concurrency (Petri nets 2015) and the 14th International Conference on Application of Concurrency to System Design (ACSD 2015). 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, 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).

Recent developments in process mining make it possible 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 historic event data. Next to the automated discovery of the real underlying process, 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. ATAED'2015 solicits papers related to process mining algorithms and theories. However, the scope is not limited to this. On the one hand, other types of "lower level" behavioral descriptions may be used (next to event logs), e.g., transition systems, partially ordered runs, sequence charts, and markov chains. On the other hand, also related problems (next to process mining) may be addressed, e.g., hardware synthesis, visualization of concurrent system behavior, synthesis of controllers, analysis of biological (membrane) systems, etc. These are all within the scope. The idea is always the same: Going from "lower level" behavioral descriptions to "higher level" process models.

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 (http://www.springer.de/comp/lncs/authors.html). Papers need to be submitted via Easychair.

Topics:
Possible topics of the solicited papers are:
* theory and applications of process mining
* automated business process model discovery
* conformance checking, alignments, and replay algorithms
* extensions and applications of region theory in different fields
* business process intelligence and other data-driven process oriented approaches
* techniques combining formal methods with data science approaches
* algorithms, theories, and tools for region theory and other forms of synthesis
* case studies and empirical investigations using event data

Important Dates:
* Deadline for papers: May 10th, 2015
* Notification of paper acceptance: June 1st, 2015
* Deadline for final contributions: June 10, 2015
* Workshop: June 22-23, 2015

Program Committee Chairs:
* Wil van der Aalst, TU Eindhoven, The Netherlands
* Robin Bergenthum, FernUni Hagen, Germany
* Josep Carmona, UPC Barcelona, Spain

History of the workshop:
The workshop can be viewed as a succession of the Applications of Region Theory (ART) workshop series:
* Applications of Region Theory (ART) 2013, Barcelona, Spain
* Applications of Region Theory (ART) 2011, Newcastle upon Tyne, UK
* Applications of Region Theory (ART) 2010, Braga, Portugal
Regions have been defined about 20 years ago by Ehrenfeucht and Rozenberg as sets of nodes of a finite transition system that correspond to potential conditions that enable or disable transition occurrences in a corresponding elementary net system. Initially, region theory focused on synthesis approaches where the transition system and resulting Petri net are equivalent (e.g., bisimilar). In recent years, 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 and, as a result, classical techniques fail to work. One needs to deal with new problems such as noise and incompleteness. Hence, there are many theoretical challenges with a high practical relevance. This workshop is not limited to region-based approaches. In fact all techniques that aim at learning or checking concurrent behavior from transition systems, runs, or event logs are welcome. The workshop is supported by the IEEE Task Force on Process Mining.

For more information, visit:
http://wiki.fernuni-hagen.de/art/index.php/Algorithms_%26_Theories_for_the_Analysis_of_Event_Data_(ATAED)_2015

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.aisnet.org/pipermail/aisworld_lists.aisnet.org/attachments/20140905/af665344/attachment.html>