10.02.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
17.02.2026
11:00 : Static Typing of Dynamic Languages: A set-theoretic type algebra for the R language
Mickael Laurent (Université Charles, Prague)
In this presentation, we will see what makes dynamic languages (e.g. Python, Javascript, R) so popular and convenient for prototyping, but also unsafe, hard to maintain and to analyze. These issues can be mitigated by adding static types to these languages, however the current ap …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
Mickael Laurent (Université Charles, Prague)
In this presentation, we will see what makes dynamic languages (e.g. Python, Javascript, R) so popular and convenient for prototyping, but also unsafe, hard to maintain and to analyze. These issues can be mitigated by adding static types to these languages, however the current ap …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
20.02.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
