<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 14 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal">Call for papers<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Algorithms & Theories for the Analysis of Event Data (ATAED'2015)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Brussels, Belgium, June 22–23, 2015<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">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).
<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">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.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">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.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Topics:<o:p></o:p></p>
<p class="MsoNormal">Possible topics of the solicited papers are:<o:p></o:p></p>
<p class="MsoNormal">* theory and applications of process mining<o:p></o:p></p>
<p class="MsoNormal">* automated business process model discovery<o:p></o:p></p>
<p class="MsoNormal">* conformance checking, alignments, and replay algorithms<o:p></o:p></p>
<p class="MsoNormal">* extensions and applications of region theory in different fields<o:p></o:p></p>
<p class="MsoNormal">* business process intelligence and other data-driven process oriented approaches
<o:p></o:p></p>
<p class="MsoNormal">* techniques combining formal methods with data science approaches<o:p></o:p></p>
<p class="MsoNormal">* algorithms, theories, and tools for region theory and other forms of synthesis<o:p></o:p></p>
<p class="MsoNormal">* case studies and empirical investigations using event data<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Important Dates:<o:p></o:p></p>
<p class="MsoNormal">* Deadline for papers: May 10th, 2015<o:p></o:p></p>
<p class="MsoNormal">* Notification of paper acceptance: June 1st, 2015<o:p></o:p></p>
<p class="MsoNormal">* Deadline for final contributions: June 10, 2015<o:p></o:p></p>
<p class="MsoNormal">* Workshop: June 22-23, 2015<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Program Committee Chairs:<o:p></o:p></p>
<p class="MsoNormal">* Wil van der Aalst, TU Eindhoven, The Netherlands<o:p></o:p></p>
<p class="MsoNormal">* Robin Bergenthum, FernUni Hagen, Germany <o:p></o:p></p>
<p class="MsoNormal">* Josep Carmona, UPC Barcelona, Spain <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">History of the workshop:<o:p></o:p></p>
<p class="MsoNormal">The workshop can be viewed as a succession of the Applications of Region Theory (ART) workshop series:<o:p></o:p></p>
<p class="MsoNormal">* Applications of Region Theory (ART) 2013, Barcelona, Spain<o:p></o:p></p>
<p class="MsoNormal">* Applications of Region Theory (ART) 2011, Newcastle upon Tyne, UK<o:p></o:p></p>
<p class="MsoNormal">* Applications of Region Theory (ART) 2010, Braga, Portugal <o:p>
</o:p></p>
<p class="MsoNormal">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.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">For more information, visit: <o:p></o:p></p>
<p class="MsoNormal">http://wiki.fernuni-hagen.de/art/index.php/Algorithms_%26_Theories_for_the_Analysis_of_Event_Data_(ATAED)_2015<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>