Soutenances de stage 2023-2024

Les soutenances des stages pour les normaliens en L3 et M1 auront lieu du jeudi 29 août 2024 au vendredi 6 septembre 2024 selon le programme affiché ci-dessous et (bientôt) sur la page de la rentrée 2024. Pour la préparation de ce jury, du rapport et de la soutenance, vous êtes invité•es à consulter le document conseils sur les stages. La date limite du dépôt du rapport de stage sur le serveur pédagogique est le vendredi 23 août. Une soutenance dure 45 minutes : 20-25 minutes de présentation des travaux et 5 à 15 minutes de questions du jury. La salle est équipée d'un ordinateur (avec lecteur USB) et d'un vidéo-projecteur. Chaque normalien doit assister à 4 demi-journées de soutenances de stage (en incluant la session de sa soutenance).

Le programme ci-dessous est provisoire, merci de consulter cette page régulièrement.

Mercredi 28 août 2024 toute la journée : soutenances ARPE 2023-2024
Jeudi 29 août 2024 le matin : soutenances ARPE 2023-2024
Vendredi 30 août 2024 de 9h00 à 12h30 en salle 1Z18
- Jury : Thomas Nowak, Matthias Fugger, Marc De Visme
- Stagiaires :
  - Le Bezvoët : Complexité du calcul distribué
  - Mera : Formal proof of blockchains protocol
  - Lukowski : Synthesis of optimal controllers for safety and co-safety LTL
  - Guyot : Practical Concerns of Error-Corrected Quantum Circuits
Vendredi 30 août 2024 de 14h00 à 17h30 en salle 1Z18
- Jury : Guillaume Scerri, Mihaela Sighireanu, Stéphane Le Roux
- Stagiaires :
  - Bouzid : Hardware defenses against speculative and out-of-order execution attacks
  - Defransure : Rényi Divergence for Lattice-Based Cryptography
  - Lenormand : Formally Secure Compilation of Compartmentalized C Programs
  - Antao : Learning Diverse Rules for Knowledge Graph Completion using Generative Models
Lundi 2 septembre 2024 de 9h00 à 12h30 en salle 1Z31
- Jury : Thomas Chatain, Philippe Schnoebelen
- Stagiaires :
  - Tanguy-Bompard : Continuous maps between heterogeneous data
  - Very : Algorithms and structure of graph sub-coloring
  - Wuttke : Solveur de la Programmation Linéaire pour DCA
  - Catherinot : Étude de variantes et d'alternatives aux pondérations irrégulières de graphes
Lundi 2 septembre 2024 de 14h00 à 17h30 en salle 1Z31
- Jury : Benedikt Bollig, Mihaela Sighireanu
- Stagiaires :
  - Dumas : Internal representation and working languages of Large Language Models
  - Cuingnet : Machine learning models of children’s turn-taking in conversation
  - Valentin : Reasoning and Provenance on Neural Networks
Mardi 3 septembre 2024 de 9h30 à 11h00 en salle 1Z31
- Jury : Thomas Chatain, Thomas Nowak, Laurent Fribourg
- Stagiaires:
  - Durieux : Enumerating minimal solution sets for metric graph problems
  - Mattei : Caractérisation de motifs dans des hyperplans arithmétiques
Mardi 3 septembre 2024 de 14h00 à 17h30 en amphi Aspect puis hall Emmy Noether : présentation laboratoire LMF
- Mon labo en 180 s : Gaspard Fougea
- Sur le stand : Modèles : Luc Lapointe, Programmation: Mihaela Sighireanu, Interface : Théo Vignon
Mercredi 4 septembre 2024 de 9h00 à 12h30 en salle 1Z31
- Jury : Philippe Schnoebelen, Dietmar Berwanger, Vladimir Zamdzhiev
- Stagiaires :
  - Baron : (encadrant Thomas Nowak)
  - Blot : Décidabilité de propriétés des automates cellulaires unidirectionnels en dimension 2
  - Cornely : Clôture des langages catégoriels abstraits par intersection avec les langages réguliers
  - Schlosser : Un testeur d’équivalence pour PCF probabiliste
Mercredi 4 septembre 2024 de 14h00 à 17h30 en salle 1Z31
- Jury : Alain Finkel, Stefan Schwoon, Laurent Fribourg
- Stagiaires :
  - Hilaire : ControlleRS
  - Tcheng : Apprentissage automatique de fonctions de mots sur alphabets infinis
  - Fritsch : Classification of Elasticity Tensors
  - Giacomin : Concurrency testing for weak memory models
Jeudi 5 septembre 2024 de 9h00 à 12h30 en salle 1Z31
- Jury : Stefan Schwoon, Serge Haddad, Patricia Bouyer
- Stagiaires :
  - Filasto : Unavoidable substructures for fixed connectivity (graphes)
  - Marchand : Minimum Matching Cut
  - Dhimoïla : Attention Graph, mechanistic interpretability (complexité, combinatoire)
  - Yvonnet : Program repair
Jeudi 5 septembre 2024 de 14h00 à 17h30 en salle 1Z31
- Jury : Caroline Fontaine, Dietmar Berwanger, Mihaela Sighireanu
- Stagiaires :
  - Fruchet : Optimal Inference for Differentially Private Data
  - Juguet : Safety of Jasmin programs
  - Gautrin : Analysis and characterization of smart contract vulnerabilities using graph theory
  - Baumann : Preuves de primitives dans le modèle CCSA (encadrant Guillaume Scerri)
Vendredi 6 septembre 2024 de 14h00 à 17h30 en salle 1Z31
- Jury : Stéphane Demri, Matthias Fugger, Thomas Chatain
- Stagiaires :
  - Lozac’h : Transformations automatiques de scripts de preuve Coq
  - Corbard : Interpolation and automated theorem proving
  - Ghosh : Comparing distributed computing models via topological simplicial complexes (encadrant Thomas Nowak)
  - Verley : Identifying clusters across scales

Pour le jury, voici quelques consignes et informations.