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 graphs of Jump Systems and their relatives |
| 9:30–9:55 |
Juliette Gronier: The Application of Private International Law by French Appellate Courts |
| 9:55–10:20 |
Macéo Ottavy: Algorithmic Differentiation and Query Optimisation through integer ordering problems |
| break |
| 10:40–11:05 |
Inès Blanché: Cutting-Plane Methods for Bilevel Optimization |
| 11:05–11:30 |
Timothy Courtois: (s, S) Inventory Policies via Reinforcement Learning |
| Time |
Samuel Arsac, Édouard Bonnet, Alantha Newman (Room B1) |
| 13:35–14:00 |
François Carret: Impartial Combinatorial Games Theory |
| 14:00–14:25 |
Samuel Avril: The Snake Puzzle |
| 14:25–14:50 |
Isaline Plaid: Study of Poset Positional Games |
| break |
| 15:10–15:35 |
Alexandre Kejikian: Toward a decision procedure for partial equivalence relations |
| 15:35–16:00 |
Lucien Loriferne: Effectful Choreographic Programming |
| 16:00–16:25 |
Armand Didierjean: Optimization of AI-driven speech enhancement algorithms inference for hearing aids |
Friday 10th July, 2026
| Time |
Édouard Bonnet, Daniel Hirschkoff, Tom Hubrecht, Thomas Stavis (Room B1) |
| 9:05–9:30 |
Alimzhan Gumran: Efficient Algorithms for a Popular Tensor Product on GPUs |
| 9:30–9:55 |
Ulysse Durand: Develop scientific and medical visualization applications with trame, a stateful web Python framework |
| 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: Mobile Robot Swarms Model Hierarchies |
| 11:05–11:30 |
Alexandre Lagier: Towards Principled Generative Methods for Inverse Problems in Imaging |
| Time |
Édouard Bonnet, Louis Gaillard, Daniel Hirschkoff (Room B1) |
| 13:35–14:00 |
Léo-Paul Delsaux: Learning Semantics of Boolean Networks with LFIT |
| 14:00–14:25 |
Solal Stern: Compiling Higher-Order Probabilistic Programs into Bayesian Networks |
| 14:25–14:50 |
Hugo Martel: A Formally Certified C Compiler for the CHERI architecture |
| break |
| 15:10–15:35 |
Yanis Dziki: Energy-Aware Evaluation and Elastic Optimization of Generative Models |
| 15:35–16:00 |
Arthur Outrey: Design and Implementation of an Hybrid-secure Evoting Protocol |