09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
20:00
21:00
22:00
23:00
13:30 - 14:00 (30min)
Accueil des participants
Accueil des participants
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 - 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 - 16:20 (20min)
Pause café
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)
9:00 - 10:00 (1h)
Exposé invité
› Auto-assemblage non coopératif
- Damien Regnault, Informatique, Biologie Intégrative et Systèmes Complexes
09:00-10:00 (1h)
10:00 - 10:20 (20min)
Pause café
10:20 - 11:50 (1h30)
Exposés
› Auto-assemblage de formes fractales
- Florent Becker, Laboratoire d'Informatique Fondamentale d'Orléans
10:20-10:50 (30min)
› Percolation dynamique sur les pavages
- Victor Lutfalla, Laboratoire dÍnformatique et Systèmes
10:50-11:20 (30min)
› Sous-arbres induits pleinement feuillus dans des graphes de Penrose
- Carole Porrier, Université du Québec à Montréal, Université Sorbonne Paris Nord
11:20-11:50 (30min)
11:50 - 12:20 (30min)
Discussions autour du GT SDA2
Wolfgang Steiner
14:00 - 15:00 (1h)
Exposé invité
› Dimères et flips sur le groupe de Baumslag-Solitar BS(1,3)
- Nathalie Aubrun, Graphes, Algorithmes et Combinatoire - LISN
14:00-15:00 (1h)
15:00 - 16:00 (1h)
Exposés
› String attractors de préfixes de mots infinis
- France Gheeraert, Radboud university [Nijmegen]
15:00-15:30 (30min)
› Are Cayley graphs diabolical?
- Nicolas Bitar, Graphes, Algorithmes et Combinatoire - LISN
15:30-16:00 (30min)
16:00 - 16:20 (20min)
Pause café
16:20 - 17:50 (1h30)
Exposés
› Apériodicité des sous-décalages de plusieurs classes de groupes
- Solène Esnay, Institut de Mathématiques de Marseille UMR7373
16:20-16:50 (30min)
› Two-player Domino games
- Benjamin Hellouin de Menibus, Graphes, Algorithmes et Combinatoire - LISN
16:50-17:20 (30min)
› Compatibilité Verticale/Horizontale des Subshifts
- Arthur Mittelstaedt, Equipe AMACC - Laboratoire GREYC - UMR6072
17:20-17:50 (30min)
17:50 - 18:30 (40min)
Brainstorming distribué des participants
Pascal Vanier
20:00 - 23:00 (3h)
Dîner de conférence
Dîner de conférence
9:00 - 10:00 (1h)
Exposé invité
› Turing machine dynamics and the SMART machine
- Anahí Gajardo, Departamento de Ingeniería Matemática, Universidad de Concepción
09:00-10:00 (1h)
10:00 - 10:20 (20min)
Pause café
10:20 - 12:20 (2h)
Exposés
› Dill maps in topological spaces defined via edit distances
- Firas Ben Ramdhane, Institut de Mathématiques de Marseille
10:20-10:50 (30min)
› A string diagrammatic point of view on symbolic dynamics
- Vivien Ducros, Ecole Normale Supérieure Paris-Saclay, Laboratoire dínformatique de l\'École polytechnique [Palaiseau]
10:50-11:20 (30min)
› Quantum Dominoes
- Etienne Moutot, Institut de Mathématiques de Marseille
11:20-11:50 (30min)
› Computability of extender sets in multidimensional subshifts
- Léo Paviet Salomon, GREYC
11:50-12:20 (30min)
