|
lundi 3 juillet 2017
| Heures | événement | |
| 12:00 - 14:10 | Accueil / Déjeuner | |
| 14:10 - 14:20 | Présentation des Journées | |
| 14:20 - 15:20 | Exposé invité | |
| 14:20 - 15:20 | › Rigidité des échanges d'intervalles : trois approches des systèmes dynamiques - Sébastien Ferenczi, I2M | |
| 15:20 - 15:40 | Pause café | |
| 15:40 - 18:10 | Exposés soumis | |
| 15:40 - 16:25 | › Mealy automata: dynamic of the action, singular points and Wang tilings - Thibault Godin, IRIF | |
| 16:30 - 17:15 | › How to get a strongly aperodic SFT in the Grigorchuk group - Sebastián Barbieri, LIP | |
| 17:20 - 18:05 | › Mots sturmiens images par morphismes de points fixes de morphismes - Patrice Séébold, LIRMM |
mardi 4 juillet 2017
| Heures | événement | |
| 09:00 - 10:00 | Exposé invité | |
| 09:00 - 10:00 | › Treillis générés par Chip Firing Game : caractérisations et algorithmes de reconnaissance - Thi Ha Duong Phan, Vien Toan Hoc | |
| 10:00 - 10:20 | Pause café | |
| 10:20 - 11:50 | Exposés soumis | |
| 10:20 - 11:05 | › On the cost of sequentialisation of Automata networks - Florian Bridoux, LIF | |
| 11:05 - 11:50 | › A pumping lemma for non-cooperative self-assembly - Damien Regnault, IBISC | |
| 11:50 - 12:15 | Discussion SDA2 - Sur le changement de responsable du GT | |
| 12:15 - 13:45 | Déjeuner | |
| 13:45 - 14:45 | Exposé invité | |
| 13:45 - 14:45 | › Évaluation quantitative de systèmes via des logiques quantitatives et automates quantitatifs - Benjamin Monmege, LIF | |
| 14:45 - 15:15 | Pause café | |
| 15:15 - 16:45 | Exposés soumis | |
| 15:15 - 16:00 | › Les langages k-bloc-déterministes - Clément Miklarz, LITIS | |
| 16:00 - 16:45 | › Random walks on (almost) six regular graphs as dynamics for the associations between chromosomes in 2n=40 mouse spermatocyte's meiotic nuclei - Julio Lopez Fenner, Universidad de La Frontera | |
| 17:45 - 23:30 | Bateau, balade, et pique-nique sur la plage - départ du Vieux Port |
mercredi 5 juillet 2017
| Heures | événement | |
| 09:00 - 10:00 | Exposé invité | |
| 09:00 - 10:00 | › Quelques questions (ouvertes) de dynamique au travers d'un objet combinatoire : les diagrammes de Bratteli - Fabien Durand, LAMFA | |
| 10:00 - 10:30 | Pause café | |
| 10:30 - 12:15 | Exposés soumis | |
| 10:30 - 11:15 | › Accélération Linéaire pour automates cellulaires en 2D - Anael Grandjean, LIRMM | |
| 11:15 - 12:00 | › Quantum Causal Graph Dynamics - Pablo Arrighi, LIF / IXXI | |
| 12:15 - 14:00 | Déjeuner | |
| 14:00 - 18:30 | Discussions |
|
|