13/01/2026
12 h 30 : Déjeuner Egalité Pro
Groupe Egalité Pro
Bonjour à toutes et à tous,
Campus Pierre et Marie Curie, tour 24, étage 5, couloir 24-25, pièce 509
Groupe Egalité Pro
Bonjour à toutes et à tous,
Le groupe Égalité pro vous propose de partager un déjeuner égalité ouvert à l’ensemble des membres du laboratoire, mi-janvier.
Nous vous proposons de nous retrouver le mardi 13 janvier, de 12h30 à 13h30, dans la salle 509 du couloir 24-25.<...
Campus Pierre et Marie Curie, tour 24, étage 5, couloir 24-25, pièce 509
16/01/2026
14 h : Séminaire LLM
Yann THIERRY-MIEG (LIP6)
Large Language Models (LLMs) have become impossible to ignore regardless of one's field or role. As an early adopter, I have explored their use in teaching, research, and development. This talk will explore practical applications including creating teaching materials (very helpfu...
https://www.informatik.uni-hamburg.de/TG...
Yann THIERRY-MIEG (LIP6)
Large Language Models (LLMs) have become impossible to ignore regardless of one's field or role. As an early adopter, I have explored their use in teaching, research, and development. This talk will explore practical applications including creating teaching materials (very helpfu...
https://www.informatik.uni-hamburg.de/TG...
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
Revoir le cycle « 75 ans d’informatique en France »
De l’Institut Blaise Pascal du CNRS au LIP6
