Journées SDA2 2017 : Systèmes Dynamiques, Automates & Algorithmes
3-5 juil. 2017 Marseille (France)
Connexion
Mot de passe oublié ?
Créer un compte
Navigation
Accueil
S'inscrire
Programme
Exposés
Liste des participants
Soumettre
Plan d'accès
Hébergement
Mardi soir
SUPPORT
Documentation
@ Contact
Programme
Semaine
Lun. 03
Mar. 04
Mer. 05
Liste
Lun. 03
Mar. 04
Mer. 05
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
Accueil / Déjeuner
12:00 - 14:10 (2h10)
Accueil / Déjeuner
Présentation des Journées
14:10 - 14:20 (10min)
Présentation des Journées
Exposé invité
14:20 - 15:20 (1h)
Exposé invité
›
Rigidité des échanges d'intervalles : trois approches des systèmes dynamiques
- Sébastien Ferenczi, I2M
14:20-15:20 (1h)
Pause café
15:20 - 15:40 (20min)
Pause café
Exposés soumis
15:40 - 18:10 (2h30)
Exposés soumis
›
Mealy automata: dynamic of the action, singular points and Wang tilings
- Thibault Godin, IRIF
15:40-16:25 (45min)
›
How to get a strongly aperodic SFT in the Grigorchuk group
- Sebastián Barbieri, LIP
16:30-17:15 (45min)
›
Mots sturmiens images par morphismes de points fixes de morphismes
- Patrice Séébold, LIRMM
17:20-18:05 (45min)
Exposé invité
9:00 - 10:00 (1h)
Exposé invité
›
Treillis générés par Chip Firing Game : caractérisations et algorithmes de reconnaissance
- Thi Ha Duong Phan, Vien Toan Hoc
09:00-10:00 (1h)
Pause café
10:00 - 10:20 (20min)
Pause café
Exposés soumis
10:20 - 11:50 (1h30)
Exposés soumis
›
On the cost of sequentialisation of Automata networks
- Florian Bridoux, LIF
10:20-11:05 (45min)
›
A pumping lemma for non-cooperative self-assembly
- Damien Regnault, IBISC
11:05-11:50 (45min)
Discussion SDA2
11:50 - 12:15 (25min)
Discussion SDA2
Sur le changement de responsable du GT
Déjeuner
12:15 - 13:45 (1h30)
Déjeuner
Exposé invité
13:45 - 14:45 (1h)
Exposé invité
›
Évaluation quantitative de systèmes via des logiques quantitatives et automates quantitatifs
- Benjamin Monmege, LIF
13:45-14:45 (1h)
Pause café
14:45 - 15:15 (30min)
Pause café
Exposés soumis
15:15 - 16:45 (1h30)
Exposés soumis
›
Les langages k-bloc-déterministes
- Clément Miklarz, LITIS
15:15-16:00 (45min)
›
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
16:00-16:45 (45min)
Bateau, balade, et pique-nique sur la plage
17:45 - 23:30 (5h45)
Bateau, balade, et pique-nique sur la plage
Exposé invité
9:00 - 10:00 (1h)
Exposé invité
›
Quelques questions (ouvertes) de dynamique au travers d'un objet combinatoire : les diagrammes de Bratteli
- Fabien Durand, LAMFA
09:00-10:00 (1h)
Pause café
10:00 - 10:30 (30min)
Pause café
Exposés soumis
10:30 - 12:15 (1h45)
Exposés soumis
›
Accélération Linéaire pour automates cellulaires en 2D
- Anael Grandjean, LIRMM
10:30-11:15 (45min)
›
Quantum Causal Graph Dynamics
- Pablo Arrighi, LIF / IXXI
11:15-12:00 (45min)
Déjeuner
12:15 - 14:00 (1h45)
Déjeuner
Discussions
14:00 - 18:30 (4h30)
Discussions
Personnes connectées :
1
Chargement...