17/02/2026
11 h : 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 h : 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 …
Revoir le cycle « 75 ans d’informatique en France »
De l’Institut Blaise Pascal du CNRS au LIP6
