[Cfp] Fwd: [AISWorld] Final Call for Papers: Algorithms & Theories for the Analysis of Event Data (ATAED'2015)

-------- Weitergeleitete Nachricht -------- Betreff: [AISWorld] Final Call for Papers: Algorithms & Theories for the Analysis of Event Data (ATAED'2015) Datum: Sat, 9 May 2015 17:34:22 +0000 Von: Aalst, W.M.P. van der W.M.P.v.d.Aalst@tue.nl An: aisworld@lists.aisnet.org aisworld@lists.aisnet.org

We received several requests for a deadline extension of the ATAED'2015 workshop in Brussels.

The new deadline for full papers (up to 15 pages) and for short papers (up to 5 pages) is May 17, 2015.

=====================================================================

Algorithms & Theories for the Analysis of Event Data (ATAED'2015) Brussels, Belgium, June 22-23, 2015

Deadline for papers: May 17, 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: https://easychair.org/conferences/?conf=ataed2015.

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 May 17, 2015

· Notification of paper acceptance: June 1st, 2015 June 4, 2015

· Deadline for final contributions: June 10, 2015 June 14, 2015

· Workshop: June 22-23, 2015

Program Committee:

· Wil van der Aalst,TU Eindhoven, The Netherlands (co-chair)

· Rafael Accorsi, Universitaet Freiburg, Germany

· Eric Badouel, INRIA Rennes, France

· Robin Bergenthum, FernUni Hagen, Germany (co-chair)

· Luca Bernardinello, Università degli studi di Milano-Bicocca, Italy

· Seppe vanden Broucke, KU Leuven, Belgium

· Benoît Caillaud, INRIA Rennes, France

· Toon Calders, Université Libre de Bruxelles, Belgium

· Josep Carmona, UPC Barcelona, Spain (co-chair)

· Paolo Ceravolo, University of Milan, Italy

· Benoît Depaire, Hasselt University, Belgium

· Jörg Desel, FernUni Hagen, Germany

· Boudewijn van Dongen, TU Eindhoven, The Netherlands

· Luciano García-Bañuelos, University of Tartu, Estonia

· Luís Gomes, Universidade Nova de Lisboa, Portugal

· Gabriel Juhás, Slovak University of Technology, Slovak Republic

· Anna Kalenkova, Higher School of Economics NRU, Russia

· Jetty Kleijn, Leiden University, The Netherlands

· Robert Lorenz, Uni Augsburg, Germany

· Zbigniew Paszkiewicz, PricewaterhouseCoopers, Belgium

· Marta Pietkiewicz-Koutny, Newcastle University, GB

· Grzegorz Rozenberg, Leiden University, The Netherlands

· Marcos Sepúlveda, Universidad Catolica de Chile, Chile

· Jianmin Wang, Tsinghua University, China

· Jochen De Weerdt, KU Leuven, Belgium

· Alex Yakovlev, Newcastle University, GB

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:

· https://wiki.fernuni-hagen.de/art/index.php/ATAED2015 [ATAED Workshop page],

· https://easychair.org/conferences/?conf=ataed2015 [Submission of ATAED papers],

· http://www.ulb.ac.be/di/verif/pn2015acsd2015/satellite.html [Petri nets/ACSD workshops], and

· http://www.ulb.ac.be/di/verif/pn2015acsd2015/index.html [Petri nets/ACSD general information].

_______________________________________________ AISWorld mailing list AISWorld@lists.aisnet.org