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
‹
mardi 4 juillet 2017
›
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
›9:00 (1h)
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)
›10:00 (20min)
Pause café
10:00 - 10:20 (20min)
Pause café
›10:20 (1h30)
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)
›11:50 (25min)
Discussion SDA2
11:50 - 12:15 (25min)
Discussion SDA2
Sur le changement de responsable du GT
›12:15 (1h30)
Déjeuner
12:15 - 13:45 (1h30)
Déjeuner
›13:45 (1h)
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)
›14:45 (30min)
Pause café
14:45 - 15:15 (30min)
Pause café
›15:15 (1h30)
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)
›17:45 (5h45)
Bateau, balade, et pique-nique sur la plage
17:45 - 23:30 (5h45)
Bateau, balade, et pique-nique sur la plage
Session
Discours
Logistique
Pause
Sortie
Personnes connectées :
1
Chargement...