2026-2-17
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
2026-2-20
2: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
