09:00
10:00
11:00
12:00
›9:00 (30min)
9:00 - 9:30 (30min)
Accueil café
›9:30 (1h)
9:30 - 10:30 (1h)
Keynote talk : Vector Addition Systems Reachability Problem
Jérôme Leroux
https://jnim2023.sciencesconf.org/data/program/Leroux.pdf›10:30 (30min)
10:30 - 11:00 (30min)
Pause café
›11:00 (45min)
11:00 - 11:45 (45min)
GT CombAlg : De la diagonale du permutoèdre aux arbres k-colorés : une histoire de partitions et d'arbres
Bérénice Delcroix-Oger
›11:45 (45min)
11:45 - 12:30 (45min)
GT SDA2 : Un argument de comptage simple appliqué à l'entropie des pavages
Matthieu Rosenfeld
