13:00
14:00
15:00
16:00
17:00
18:00
›13:30 (30min)
13:30 - 14:00 (30min)
Accueil des participants
Accueil des participants
›14:00 (1h)
14:00 - 15:00 (1h)
Exposé invité
› The Skolem Landscape
- Joël Ouaknine, Max Planck Institute for Software Systems, Saarland Informatics Campus
14:00-15:00 (1h)
›15:15 (45min)
15:15 - 16:00 (45min)
Exposés
› Le théorème de Kuratowski et ses applications en théorie des langages
- Pascal Caron, GRRIF
15:15-16:00 (45min)
›16:00 (20min)
16:00 - 16:20 (20min)
Pause café
›16:20 (1h45)
16:20 - 18:05 (1h45)
Exposés
› String attractors sur N et Z : facteurs, attrapez-les tous !
- Pierre Béaur, Graphes, Algorithmes et Combinatoire - LISN
16:20-16:50 (30min)
› Suites morphiques : complexité et décidabilité
- Raphaël Henry, Institut de Mathématiques de Marseille
16:50-17:20 (30min)
› Reconnaissance de configurations sturmiennes avec l'arbre de Stern-Brocot
- Bastien LABOUREIX, LORIA, Université de Lorraine
17:20-18:05 (45min)
