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
- 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
- Mardi 3 septembre 2024 de 9h30 à 11h00 en salle 1Z31
- 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.