Location : Sophie Germain building, place Aurélie Nemours, 75013 Paris, room 1002.

All defenses are public (except when marked [NOT PUBLIC]). Discussions during breaks are restricted to the advisors and members of the jury.

Information about how to prepare your report and your defense can be found here.

Special early defense. Jury: Jean Goubault-Larrecq, Yannick Forster, François Pottier.

• 16:00>16:30 - Thomas Lamiaux: “Utilisation de la paramétricité pour la définition du schéma d’élimination des inductifs imbriqués”, with Nicolas Tabareau. Reviewer: François Pottier.

Morning session. Jury: Jean Goubault-Larrecq, Yannick Forster, Sophie Laplante.

• 09:30>10:00 - Luc Passemard: “Exploring high dimensional automatas”, with Amazigh Amrane. Reviewer: Jean Goubault-Larrecq.
• Break. (Note: long break, no defense at 10:00.)
• 11:00>11:30 - Alexandros Themelis: “Post-quantum cryptographic primitives for advanced authentication”, with Geoffroy Couteau. Reviewer: Sophie Laplante.
• 11:30>12:00 - Florian Tousnakhoff: “Cryptanalyse de signatures post-quantiques”, with Brice Minaud. Reviewer: Sophie Laplante.
• 12:00>12:30 - Ni Wang: “Neuromorphic computing based mobile robot navigation”, with Emre Neftci. Reviewer: Sophie Laplante.

Afternoon session. Jury: Jean Goubault-Larrecq, Yannick Forster, Sophie Laplante.

• 14:00>14:30 - Colin Blake: “Complétude des circuits quantiques de dimension supérieure”, with Simon Perdrix. Reviewer: Sophie Laplante.
• 14:30>15:00 - Ewen Broudin-Caradec: “Conception, étude et implantation d’une théorie des types dépendants avec types fantômes.”, with Théo Winterhalter. Reviewer: Yannick Forster.
• 15:00>15:30 - Hector Buffière: “Théorie structurelle et algorithmique des graphes, une approche par la théorie des modèles”, with Patrice Ossona de Mendez. Reviewer: Sophie Laplante.
• Break. (Note: long break, no defense at 16:00.)
• 16:30>17:00 - Thomas Laure: “Modélisation d'une théorie des types dépendants au moyen d'algorithmes séquentiels”, with Valentin Blot. Reviewer: Yannick Forster.
• 17:00>17:30 - Neven Villani: “Formal Methods for the Verification of Self-Adapting Distributed Systems”, with Radu Iosif. Reviewer: Yannick Forster.

Morning session. Jury: Jean Goubault-Larrecq, Sophie Laplante, François Pottier.

• 09:30>10:00 - Mathis Bouverot-Dupuis: “A Generalized Search Command for Coq-Actema”, with Benjamin Werner. Reviewer: François Pottier.
• 10:00>10:30 - Weituo Dai: “Meta-programming with scope and type guarantees”, with Yannick Forster. Reviewer: Jean Goubault-Larrecq.
• Break.
• 11:00>11:30 - Félix Ridoux: “Improvements to the Auxiliary Analyses for Cost Analysis”, with Pedro Lopez Garcia. Reviewer: François Pottier.
• 11:30>12:00 - Jyh-Chwen Ko: “Schnyder Woods for higher genus surfaces, with applications to graph drawing” with Aleardi Luca Castelli. Reviewer: Sophie Laplante.
• 12:00>12:30 - Emile Hautefeuille [NOT PUBLIC]: “Analysis and Modeling of Maximal Extractable Value on Ethereum”, with Paul Dufresne. Reviewer: François Pottier.

Afternoon session. Jury: Jean Goubault-Larrecq, Yannick Forster, François Pottier, Gilles Schaeffer.

• 14:00>14:30 - Juliette Schabanel: “Propriétés énumératives et bijectives des cartes combinatoires”, with Baptiste Louf. Reviewer: Gilles Schaeffer.
• 14:30>15:00 - Jean Abou Samra: “Infinite words with low discrepancy”, with Olivier Carton. Reviewer: Gilles Schaeffer.
• Break. (Note: long break, no defense at 15:00.)
• 16:00>16:30 - Yakob Kahane: “Combinatorics and Transcendence”, with Marni Mishna. Reviewer: Gilles Schaeffer.
• 16:30>17:00 - Noah Loutchmia: “Implementation of hierarchies of algebraic structures in type theory”, with Assia Mahboubi. Reviewer: François Pottier.
• 17:00>17:30 - Samy Avrillon: “Sémantique categorique de la reduction des GATs (generalised algebraic theories) aux GATs à deux sortes”, with Ambroise Lafont. Reviewer: Yannick Forster.
• 17:30>18:00 - Selma Nordeide Skomsoy: “Guess and prove for classifying combinatorial walks”, with Jérémy Berthomineu. Reviewer: Gilles Schaeffer.

Morning session. Jury: Jean Goubault-Larrecq, Christoph Dürr, Brice Minaud.

• 09:30>10:00 - Gaia Carenini: “Generalizations of the geometric de Bruijn-Erdős Theorem”, with Pierre Aboulker. Reviewer: Brice Minaud.
• 10:00>10:30 - Thomas Delépine: “Graph Reconstruction with Queries on k-Tuples”, with Hoang La. Reviewer: Christoph Dürr.
• Break.
• 11:00>11:30 - Antoine Bak: “Cryptanalyse intégrale de primitives symétriques définies nativement sur de grands corps”, with Léo Perrin. Reviewer: Brice Minaud.
• 11:30>12:00 - Merlin Fruchon: “Analyse de probabilités différentielles à clef fixée”, with Anne Canteaut. Reviewer: Brice Minaud.
• 12:00>12:30 - Constantin Gierczak–Galle: “Characterization of an attack model through electrical perturbation on a DRAM bus”, with David Naccache. Reviewer: Brice Minaud.

Afternoon session. Jury: Jean Goubault-Larrecq, Yannick Forster, Brice Minaud.

• 14:00>14:30 - Alex Elenter Litwin: “Optimal stopping theory with predictions”, with Spyros Angelopoulos. Reviewer: Brice Minaud.
• 14:30>15:00 - Victor Blanchi: “Nested Inference for Reactive Probabilistic Programming”, with Guillaume Baudart. Reviewer: Yannick Forster.
• 15:00>15:30 - Yoan Bouniard: “Efficient Space and Multi Types for the λ-Calculus”, with Beniamino Accattoli. Reviewer: Yannick Forster.
• Break.
• 16:00>16:30 - Arthur Gall: “Fibred category and verification of transition systems using coalgebraic framework”, with Shin-ya Katsumata. Reviewer: Jean Goubault-Larrecq.
• 16:30>17:00 - Guilhem Jazeron: “Cache Randomization: Generic Security and Variants of SCARF”, with Gregor Leander. Reviewer: Brice Minaud.
• 17:00>17:30 - Guilhem Turbiau: “Théorème de Löwenheim-Skolem ascendant en Coq”, with Hugo Herbelin. Reviewer: Jean Goubault-Larrecq.

Morning session. Jury: Jean Goubault-Larrecq, Christoph Dürr, Gilles Schaeffer.

• 09:30>10:00 - Quentin Buzet (remote): “Algorithmes quantiques distribués dans le modèle CONGEST”, with François Le Gall. Reviewer: Christoph Dürr.
• 10:00>10:30 - Samuel Coulomb: “Clique number of tournament”, with Pierre Aboulker. Reviewer: Christoph Dürr.
• Break.
• 11:00>11:30 - Oscar Fontaine: “Using Delaunay triangulation and spines to enumerate saddle connections”, with Vincent Delecroix. Reviewer: Gilles Schaeffer.
• 11:30>12:00 - Weijia Wang: “Computer algebra in the service of convergence analysis”, with Mohab Safey El Din. Reviewer: Gilles Schaeffer.
• 12:00>12:30 - Noé Weeks: “Mathematical Analysis of the MOEA/D algorithm”, with Benjamin Doerr. Reviewer: Christoph Dürr.

Afternoon session. Jury: Jean Goubault-Larrecq, Christoph Dürr, Gilles Schaeffer.

• 14:00>14:30 - Laurent Holin: “Post-Quantum Statistical Zero-Knowledge Arguments for NP from Post-Quantum One-way Functions”, with Céline Chevalier. Reviewer: Christoph Dürr.
• 14:30>15:00 - Simon Dreyer: “Unbiased Simulation of Traffic in Road Networks - Uniform Sampling of Shortest Paths in Graphs”, with Mehdi Naima. Reviewer: Christoph Dürr.
• 15:00>15:30 - Enzo Erlich: “Languages of Higher-Dimensional Automata”, with Jérémy Ledent. Reviewer: Jean Goubault-Larrecq.
• Break.
• 16:00>16:30 - Hélène Han: “Treillis de Tamari et arbres de Parking”, with Bérénice Delcroix-Oger. Reviewer: Gilles Schaeffer.
• 16:30>17:00 - Romain Bouarah: “Operation research for arithmetic problems”, with Florent de Dinechin. Reviewer: Christoph Dürr.
• 17:00>17:30 - Maena Quemener: “Totally nonnegative polytopes”, with Arnau Padrol. Reviewer: Gilles Schaeffer.

Morning session. Jury: Jean Goubault-Larrecq, Sylvain Schmitz, Mauro Sozio.

• 09:30>10:00 - Abdelkader Belloundja: “Program equivalence using higher order model checking”, with Gabriel Scherer. Reviewer: Sylvain Schmitz.
• 10:00>10:30 - Viviane Ledoux: “Apprentissage d'un mouvement de redressement avec un robot bipède à roues”, with Nicolas Perrin-Gilbert. Reviewer: Mauro Sozio.
• Break.
• 11:00>11:30 - Victor Miquel: “Sized time and space vectors in a hardware construction language”, with Mary Sheeran. Reviewer: Mauro Sozio.
• 11:30>12:00 - Baptiste Mouillon: “Approches itératives pour la synthèse réactive”, with Nathanaël Fijalkow. Reviewer: Sylvain Schmitz.
• 12:00>12:30 - Paul Zeinaty: “What's decidable about Transformers?”, with Benedikt Bollig. Reviewer: Mauro Sozio.

Afternoon session. Jury: Jean Goubault-Larrecq, François Pottier, Sylvain Schmitz.

• 14:00>14:30 - Owen Crabtree: “Complexity of Combinatorial Games Beyond NP”, with Valia Mitsou. Reviewer: Sylvain Schmitz.
• 14:30>15:00 - Luis Kuffner: “Signed graph colorings and graph minors”, with Reza Naserasr. Reviewer: Sylvain Schmitz.
• 15:00>15:30 - Ryan Lahfa: “Vérification formelle de programmes Rust avec Aeneas et Lean 4”, with Aymeric FROMHERZ. Reviewer: François Pottier.
• Break.
• 16:00>16:30 - Erwann Loulergue: “Apprentissage passif d'automates symboliques”, with Peter Habermehl. Reviewer: Sylvain Schmitz.
• 16:30>17:00 - Guruprerana Shabadi (remote): “Upper and lower bounds on LTL pastification and LTL formula learning”, with Alessio Mansutti. Reviewer: Sylvain Schmitz.
• 17:00>17:30 - Ellenor Taghayor (remote): “Creating a domain-specific language for writing safe program transformations”, with Anders Miltner. Reviewer: François Pottier.

Morning session. Jury: Jean Goubault-Larrecq, Brice Minaud, Mauro Sozio.

• 09:30>10:00 - Sacha Cerf: “Algorithmes variationnels basés sur la mesure”, with Harold Ollivier. Reviewer: Brice Minaud.
• 10:00>10:30 - Gabriel Doriath Döhler: “Méthodes d’identification de points d’intérêts pour l’injection de faute par analyse de binaire”, with Hadrien Barral. Reviewer: Brice Minaud.
• Break.
• 11:00>11:30 - Émile Larroque: “Branching in well-structured transition systems”, with Sylvain Schmitz. Reviewer: Jean Goubault-Larrecq.
• 11:30>12:00 - Gaspard Thévenon: “Ré-éclairage de représentations neuronales de scènes 3D”, with David Coeurjolly. Reviewer: Mauro Sozio.
• 12:00>12:30 - Côme Neyrand: “M2 Dynamic Epistemic Structures, Second-order automata and Dot-depth Hierarchy”, with Sophie Pinchinat. Reviewer: Jean Goubault-Larrecq.

Afternoon session. Jury: Jean Goubault-Larrecq, Sylvain Schmitz, Mauro Sozio.

• 14:00>14:30 - Laurène Cave: “Adversarial Perturbations of Low Dimensional Data”, with Rando Lazic. Reviewer: Mauro Sozio.
• 14:30>15:00 - Jules Viennot: “Preuve de programmes avec GADT”, with François Pottier. Reviewer: Jean Goubault-Larrecq.
• 15:00>15:30 - Félix Lebrat: “Approximation algorithms for Santa-Claus problem and other fair allocation problems”, with Chien-Chung Huang. Reviewer: Mauro Sozio.
• Break.
• 16:00>16:30 - Maxence Perion: “Specifying and proving a new protocol for electronic cheques with VRF”, with Sara Tucci. Reviewer: Sylvain Schmitz.
• 16:30>17:00 - Julien Veron: “State complexity of subword-closed languages”, with Philippe Schnoebelen. Reviewer: Sylvain Schmitz.