02/10/2026
11:00 : A Journey into the (In)Completeness of Program Analysis by Abstract Interpretation
Marco Campion (APR, LIP6, Sorbonne Université)
Static program analysis aims at automatically reasoning about the behavior of programs, with the goal of detecting bugs or proving the absence of certain runtime errors. A fundamental challenge in this setting is the unavoidable trade-off between precision and decidability: the m …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
Marco Campion (APR, LIP6, Sorbonne Université)
Static program analysis aims at automatically reasoning about the behavior of programs, with the goal of detecting bugs or proving the absence of certain runtime errors. A fundamental challenge in this setting is the unavoidable trade-off between precision and decidability: the m …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
02/20/2026
14:00 : Conformance checking in time-aware process models
Thomas Chatain (LMF, ENS Paris-Saclay)
Conformance checking techniques asses the suitability of a process model in representing an underlying process, observed through a collection of real executions. An important problem for conformance checking is to align a log trace with a model, that is, to find the minimal chang …
25-26/105, LIP6
https://perso.lip6.fr/Dylan.Marinho/semi …
Thomas Chatain (LMF, ENS Paris-Saclay)
Conformance checking techniques asses the suitability of a process model in representing an underlying process, observed through a collection of real executions. An important problem for conformance checking is to align a log trace with a model, that is, to find the minimal chang …
25-26/105, LIP6
https://perso.lip6.fr/Dylan.Marinho/semi …
Celebrate “75 years of computer science in France”
From CNRS Institut Blaise Pascal to LIP6
