LSV Seminar

The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.

The seminar is open to public and does not require any form of registration.

Past Seminars

Process Mining as Approximation and Verification Problems

 Josep Carmona
Tuesday, January 20 2015 at 11:00AM
Salle de Conférence (Pavillon des Jardins)
Josep Carmona (Universitat Politecnica de Catalunya (UPC))

In this talk I would present recent contributions mainly focused on discovery, a very challenging problem in the area of process mining. Several theories like the theory of regions, numerical abstract domains and satisfiability will be used to provide different algorithms to solve the discovery problem. Finally, current challenges and directions will be presented to trigger the interest in the process mining field.

About LSV