Programme

mardi 1 juillet 2025
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
›10:30 (30min)
Pause café
›11:00 (1h)
Preuves formelles en combinatoire algébrique
Florent Hivert
› Salle 465
›12:00 (1h30)
Déjeuner
›13:30 (1h)
Algebraic structures on m-Dyck paths.
Muriel Livernet
› Salle 465
›14:30 (30min)
CSP raffiné sur les complexes d'amas
Lucas Pouillart
› Salle 465
›15:00 (30min)
Pause café
›15:30 (30min)
Nouveaux algorithmes pour les framing lattices
Clément Chenevière
› Salle 465
Session
Discours
Logistique
Pause
Sortie
Chargement... Chargement...