Defenses are conducted in English, except possibly the questions and answers (upon mutual agreement).
Each defense consists of a 15-minute slideshow presentation followed by about 8 minutes of questions, leaving two minutes to switch speakers.
Thursday 9th July, 2026
| Time |
Samuel Arsac, Édouard Bonnet, Aurélien Garivier (Room B1) |
| 9:05–9:30 |
Ankit Gayen: Metric properties of Jump Systems |
| 9:30–9:55 |
Juliette Gronier: L’application du droit international privé par les juridictions du fond |
| 9:55–10:20 |
Macéo Ottavy: Graph modification problems in algorithmic differentiation (AD) |
| break |
| 10:40–11:05 |
Inès Blanché: Cutting-Plane Methods for Bilevel Optimization |
| 11:05–11:30 |
Timothy Courtois: Reinforcement Learning for Operations Research problems |
| Time |
Samuel Arsac, Édouard Bonnet, Alantha Newman (Room B1) |
| 13:35–14:00 |
François Carret: Combinatorial game theory and their applications |
| 14:00–14:25 |
Samuel Avril: The Snake Puzzle (Plane spanning path reconfiguration) |
| 14:25–14:50 |
Isaline Plaid: Etude des « poset positional games » |
| break |
| 15:10–15:35 |
Alexandre Kejikian: Decision Procedure for Equivalence Relations |
| 15:35–16:00 |
Lucien Loriferne: Effectful Choreographic programming |
| 16:00–16:25 |
Armand Didierjean: Quantification de modèles de speech enhancement et speech separation, et leurs exécutions pour fpga |
Friday 10th July, 2026
| Time |
Édouard Bonnet, Daniel Hirschkoff, Tom Hubrecht, Thomas Stavis (Room B1) |
| 9:05–9:30 |
Alimzhan Gumran: Tensor computations on GPUs |
| 9:30–9:55 |
Ulysse Durand: Création d'applications métiers de visualisation scientifique et médicale avec trame, un framework Python stateful web |
| 9:55–10:20 |
Clément Remy: Modélisation et simulation d’éboulements à partir de nuages de points |
| break |
| 10:40–11:05 |
Kylian Fontaine: Essaims de robots mobiles, hiérarchies de modèles |
| 11:05–11:30 |
Alexandre Lagier: Understanding PnP-Flow |
| Time |
Édouard Bonnet, Louis Gaillard, Daniel Hirschkoff (Room B1) |
| 13:35–14:00 |
Léo-Paul Delsaux: Apprentissage automatique avec LFIT pour la sémantique Most Permissive |
| 14:00–14:25 |
Solal Stern: Towards Compiling Higher-Order Programs to Bayesian Networks |
| 14:25–14:50 |
Hugo Martel: A Formally Certified C Compiler for the CHERI architecture |
| break |
| 15:10–15:35 |
Yanis Dziki: Environmental metrics of AI features |
| 15:35–16:00 |
Arthur Outrey: Design and implementation of an hybrid-secure evoting protocol |