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