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

From art
Revision as of 17:31, 29 August 2014 by Bergenthum (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Brussels, Belgium, June 22-23, 2015

A satellite event of ACSD 2015

Description

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).

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.

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. Next to process mining, also related problems such as hardware synthesis, visualization of concurrent system behavior, synthesis of controllers, analysis of biological (membrane) systems, etc. are within the scope. The idea is always the same: going from "lower level" behavioral descriptions to "higher level" process models

Call for Papers

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). Paper need to be submitted via Easychair.


Topics

Possible topics of the solicited papers are:

  • theory and applications of region theory and process mining
  • automated business process model discovery
  • conformance checking, alignments, and replay algorithms
  • business process intelligence and other date-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 10, 2015
  • Notification of paper acceptance: June 1, 2015
  • Deadline for final contributions: June 10, 2015
  • Workshop: June 22-23, 2015


Registration and Accomodation

  • will be added

Program

  • will be added

Program Committee

  • will be added

Presentations

  • will be added