Home

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 10th July, 2025

Room B1 (Samuel Arsac, Édouard Bonnet, Pascal Koiran) Time Room B2 (Francesco Bronzino, Elisa Riccietti, ?)
Maë Abily: Expressivité des automates de Büchi et coBüchi sur des graphes finis 9:05–9:30 Frédéric Becerril: Applications en apprentissage automatique
Émile Martinez: Études sur les jeux d'appairages séquentiels 9:30–9:55 Duncan Bordin: Learning to predict the response to antidepressant drugs
Gabin Calmet: Approche algorithmique pour estimer l’efficacité d'une population 9:55–10:20 Antoine Crosnier: Learning to reconstruct from noisy data alone with applications to astronomical imaging
break
Adrien Dubois: Cryptanalysis of lattice-based assumptions 10:40–11:05 Gaetan Nodet: X-Ray: Accélération des communications entre machines virtuelles grâce à User Interrupt
Mathieu Bouget: Studying encryption from supersingular torsion attacks 11:05–11:30 Basile Leretaille: Analyse de cycle de vie prospective d'un système d'information
Room B1 (Samuel Arsac, Édouard Bonnet, Gabriel Radanne) Time Room B2 (Michele Pagani, Nathalie Revol, Damien Pous)
Louis Riboulet: Logique linéaire différentielle polarisée et μ-calcul différentiel 13:35–14:00 Apolline Rodary: Metrics for probabilistic semantics
Johann Rosain: Une sorte pour les objets calculatoires effacés en Théorie des Types 14:00–14:25 Lucie Lahaye: Extensions du calcul de Trocq pour le raisonnement (iso)modulo morphisme
Adam Donadille: Toward Refinement Types for Liveness Properties 14:25–14:50 Théa Hervier: Mixing Monadic Effects and Labelled Transition Systems in Rocq
break
Jonathan Roux: Study of microphone leakage on modern computers 15:10–15:35 Élodie Bernard: Détection de comportement de fingerprinting dans des applications Android
Thomas Bobille: Fairness in Conformal Predictions 15:35–16:00

Friday 11th July, 2025

Time Room B1 (Édouard Bonnet, Daniel Hirschkoff, ?)
9:05–9:30 Julien Cocquet: Exclusion de mineurs dans les graphes ordonnés
9:30–9:55 Benjamin Duhamel: Weakly sparse classes excluding an induced minor
9:55–10:20 Ronan Toullec-Streicher: Décidabilité de la détection de graphe “forceur”
break
10:40–11:05 Justine Cauvi: Temporal graphs: labelings and parameters
11:05–11:30 Corentin Moumard: Optimizing tree decomposition algorithms for weighted component minimization in graphs
Time Room B1 (Christophe Alias, Édouard Bonnet, ?)
13:35–14:00 Bruno Maxime: TCP and QUIC: A theoretical and empirical comparison
14:00–14:25 Greg Depoire-Ferrer: Hardware-assisted userspace page fault handling
14:25–14:50 Line Fremery: Simulations performantes en volumes finis sur architectures multi-GPU
break
15:10–15:35 Gwendal Ducloz: DNA computing: Theory, Models and wet lab experiments
15:35–16:00 Vincent Gardies: Evolutionary Unconstraint Networks (EVOLUNET)