24.02.2026
13:30 : Séminaire pour les Doctorants du LIP6 - CV académique
Fabrice KORDON
Envoyez vos CVs (possiblement anonymisés) à Fabrice KORDON avant le 23 février 12h.
Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/105)
Fabrice KORDON
Envoyez vos CVs (possiblement anonymisés) à Fabrice KORDON avant le 23 février 12h.
Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/105)
24.02.2026
11:00 : Memory Allocators: Formal Verification and Evaluation
Antonin Reitz (INRIA)
Commonly-used software is plagued by a class of security issues closely related to memory management called memory safety issues. To mitigate such issues, it is possible to use hardened memory allocators, that implement security mechanisms in addition to providing memory to appli …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
Antonin Reitz (INRIA)
Commonly-used software is plagued by a class of security issues closely related to memory management called memory safety issues. To mitigate such issues, it is possible to use hardened memory allocators, that implement security mechanisms in addition to providing memory to appli …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
26.05.2026
14:00 : Séminaire pour les Doctorants du LIP6 - Carrière académique
Fabrice KORDON
Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/105)
Fabrice KORDON
Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/105)
Celebrate “75 years of computer science in France”
From CNRS Institut Blaise Pascal to LIP6
