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 presentation, we will discuss the problem of analyzing event logs, i.e. any ordered sequence of data elements. Two specific questions will be addressed. First, how can we query an event log? This problem will lead us to talk about the concept of Complex Event Processing, which we can see as a generalization of classical temporal logics. Secondly, how can we classify a set of logs into families, and what do these families represent intuitively? Preliminary results and an an implemetation of these concepts will also be discussed.