23/01/2026
8 h : Les 20 ans de MeFoSyLoMa
Le groupe MeFoSyLoMa, regroupant les équipes de recherche franciliennes autour des méthodes formelles, organise un séminaire pour célébrer ses 20 ans le vendredi 23 janvier 2026 au LIP6 (Amphi 25). …
Campus Pierre et Marie Curie (Amphi 25)
https://mefosyloma.fr/j2026-01.html
Le groupe MeFoSyLoMa, regroupant les équipes de recherche franciliennes autour des méthodes formelles, organise un séminaire pour célébrer ses 20 ans le vendredi 23 janvier 2026 au LIP6 (Amphi 25). …
Campus Pierre et Marie Curie (Amphi 25)
https://mefosyloma.fr/j2026-01.html
27/01/2026
11 h : Detecting of timing leaks of programs using parametric timed model checking
Dylan Marinho (MoVe, LIP6, Sorbonne Université)
In this presentation I will first introduce the theoretical tools for analyzing timing leaks in programs. The notion of opacity was introduced in 2009 by Franck Cassez to assess whether a system can preserve a certain secret against an attacker's (timed) observation. In our work, …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
Dylan Marinho (MoVe, LIP6, Sorbonne Université)
In this presentation I will first introduce the theoretical tools for analyzing timing leaks in programs. The notion of opacity was introduced in 2009 by Franck Cassez to assess whether a system can preserve a certain secret against an attacker's (timed) observation. In our work, …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
05/02/2026
14 h : The Smoothed and Semi-Random Possibilities of Social Choice
Lirong Xia (Rutgers University-New Brunswick)
…
Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/105)
Lirong Xia (Rutgers University-New Brunswick)
…
Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/105)
Revoir le cycle « 75 ans d’informatique en France »
De l’Institut Blaise Pascal du CNRS au LIP6
