Dyadisc3 : Decidability and dynamical systems
Workshop on decidable or undecidable problems in dynamical systems
3-5 Jul 2019 Amiens (France)
Login
Lost password ?
Create account
Main menu
Home
Registration
List of Participants
Planning
HELP
@ Contact
Planning
Week
Wed. 03
Thu. 04
Fri. 05
List
Wed. 03
Thu. 04
Fri. 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
Accueil
9:30 - 10:00 (30min)
Accueil
Salle Café du LAMFA
Decidability and S-adic dynamics
10:00 - 11:00 (1h)
Decidability and S-adic dynamics
Valérie BERTHE (IRIF, U. Paris Diderot)
https://dyadisc3.sciencesconf.org/data/program/ValerieB.pdf
Pause Café
11:00 - 11:30 (30min)
Pause Café
Aperiodic points in Z2-subshifts
11:30 - 12:30 (1h)
Aperiodic points in Z2-subshifts
Benjamin HELLOUIN DE MENIBUS (LRI, U. Paris Sud)
https://dyadisc3.sciencesconf.org/data/program/BenjaminHdM.pdf
Déjeuner au CROUS
12:30 - 13:45 (1h15)
Déjeuner au CROUS
Café au LAMFA ou ailleurs
13:45 - 14:30 (45min)
Café au LAMFA ou ailleurs
An aperiodic distance shift
14:30 - 15:30 (1h)
An aperiodic distance shift
Emmanuel JEANDEL (LORIA, U. de Lorraine)
https://dyadisc3.sciencesconf.org/data/program/emmanuelJ_1.pdf
Goûter
15:30 - 16:00 (30min)
Goûter
Recherche de progressions arithmétiques constantes dans les suites substitutives
16:00 - 17:00 (1h)
Recherche de progressions arithmétiques constantes dans les suites substitutives
Valérie GOYHENECHE (LAMFA, U. Picardie Jules Verne)
Diner au restaurant O jardin
20:00 - 22:00 (2h)
Diner au restaurant O jardin
Accueil
9:30 - 10:00 (30min)
Accueil
Salle BC 101
Le rayon spectral joint pour les matrices tropicales est soit fortement polynomial, soit non calculable
10:00 - 11:00 (1h)
Le rayon spectral joint pour les matrices tropicales est soit fortement polynomial, soit non calculable
Glen MERLET (I2M, Aix-Marseille U.)
Pause café
11:00 - 11:30 (30min)
Pause café
Discrétisations et mesures invariantes : bons ou mauvais amis ?
11:30 - 12:30 (1h)
Discrétisations et mesures invariantes : bons ou mauvais amis ?
Pierre-Antoine GUIHENEUF (IMJ, Sorbonne U.)
Déjeuner au CROUS
12:30 - 13:45 (1h15)
Déjeuner au CROUS
Café au LAMFA ou ailleurs
13:45 - 14:30 (45min)
Café au LAMFA ou ailleurs
A semi-algorithm to explore the set of imbalances in S-adic systems
14:30 - 15:30 (1h)
A semi-algorithm to explore the set of imbalances in S-adic systems
Mélodie ANDRIEU (I2M, Aix-Marseille U.)
Goûter
15:30 - 16:00 (30min)
Goûter
Decidability through first-order logic and regular sequences
16:00 - 17:00 (1h)
Decidability through first-order logic and regular sequences
Emilie CHARLIER (Département de Mathématiques, U. Liège, Belgique)
https://dyadisc3.sciencesconf.org/data/program/EmilieC.pdf
Diner au Rétroviseur
20:00 - 22:00 (2h)
Diner au Rétroviseur
Accueil
9:00 - 9:15 (15min)
Accueil
Salle Café du LAMFA
Word complexity and computability in subshifts
9:15 - 10:15 (1h)
Word complexity and computability in subshifts
Pascal VANIER (LACL, U. Paris Est Créteil)
https://dyadisc3.sciencesconf.org/data/program/PascalV_1.pdf
Decidability of the isomorphism and the factorization between minimal substitution subshifts
10:15 - 11:15 (1h)
Decidability of the isomorphism and the factorization between minimal substitution subshifts
Julien LEROY (Département de Mathématiques, U. Liège, Belgique)
Pause café
11:15 - 11:30 (15min)
Pause café
On expansion of numbers in bases 2 and 3
11:30 - 12:30 (1h)
On expansion of numbers in bases 2 and 3
Meng WU (Oulu University, Finland)
https://dyadisc3.sciencesconf.org/data/program/MengW_1.pdf
Déjeuner au CROUS
12:30 - 13:15 (45min)
Déjeuner au CROUS
Café de clôture au LAMFA ou ailleurs
13:15 - 14:00 (45min)
Café de clôture au LAMFA ou ailleurs
Online user:
1
Loading...