You are cordially invited to the next edition of the LARCA seminar. <br />
<br />
Speaker: Josep Carmona, LSI <br />
Title: &quot;Process Mining: discovering formal models from system logs&quot; <br />
Time: Thursday November 5th, 10:30 <br />
Place: Room S208, floor -2, Omega Building <br />
<br />
Abstract: <br />
Process mining is a relatively young area. The main goal is to incorporate the use of formal models and techniques in current systems to make them better. Among all branches, a main one is process discovery: from system traces, one wishes to find a formal model to represent them. This formal model may later be used for very different purposes (visualization, property verification, extension, bottleneck analysis, verification of conformity with the real system, etc.) <br />
<br />
In this talk we will introduce modern techniques for formal model discovery, based on the theory of regions introduced in the nineties by Ehrenfeucht and Rozenberg. We will also enumerate some open problems and current research lines in our group. No previous knowledge is required.