Programme

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  
Personnes connectées : 1