Room B1 (Édouard Bonnet, Rémi Gribonval, Tito Nguyen) |
Time |
Room B2 (Nathalie Revol, Yannick Zakowski) |
Flora Helmers: La causalité pour améliorer les LLMs |
9:05-9:30 |
Alix Tremodeux: Fault-tolerant numerical iterative algorithms at scale |
Léo le Nestour: Mathematically rigorous renormalization flows using Tensor Networks |
9:30-9:55 |
Hugo Passe: Analyse automatique d’erreur de programmes opérant sur des nombres à virgule flottante |
Thomas Bobille: Explicabilité en apprentissage machine pour les réseaux de neurones avec graphe |
9:55-10:20 |
Élodie Bernard: Fingerprinting statemachine of WiFi-enabled user devices |
break |
Tristan Klein: Tensor networks and quantum max flow - min cut |
10:40-11:05 |
Arthur Vinciguerra: Algorithme numérique validé pour les courbes algébriques avec des singularités |
Enrique Galvez: Réseaux de neurones profonds pour les systèmes embarqués hétérogènes |
11:05-11:30 |
Étienne Ramrani: Orienter une courbe elliptique orientable |
Room B1 (Édouard Bonnet, Matteo Mio, Tito Nguyen) |
Time |
Room B2 (Cyril Cohen, Nathalie Revol, Yannick Zakowski) |
Thomas Perez: Convex relaxation and tensor network methods for ground state computation |
13:35-14:00 |
Victor Dellacherie: Systèmes de type relationnels pour le lambda-calcul simplement typé |
Hind Atbir: PAC-Bayesian Fair Learning |
14:00-14:25 |
Vivien Gachet: Optimizing Tail-recursion modulo forward |
Samuel Bounan: Risk-aware Reinforcement Learning: using exponential moments |
14:25-14:50 |
Iwan Quémerais: Π-calculus, type systems, and game semantics |
break |
Joël Charles-Rebuffé: Learning algorithms for restless bandits |
15:10-15:35 |
Léo Poirier: Propriétés de convergence dans les automates cellulaires monotones |
Séhane Bel Houari: Policy Gradient for Autoscaling |
15:35-16:00 |
Damien Lesens: Greedy algorithms for computing the Birkhoff decomposition |