Workshop on decidable or undecidable problems in dynamical systems
3-5 Jul 2019 Amiens (France)

Planning

Wednesday, July 3, 2019

Time Event  
09:30 - 10:00 Accueil - Salle Café du LAMFA  
10:00 - 11:00 Decidability and S-adic dynamics - Valérie BERTHE (IRIF, U. Paris Diderot)
 
11:00 - 11:30 Pause Café  
11:30 - 12:30 Aperiodic points in Z2-subshifts - Benjamin HELLOUIN DE MENIBUS (LRI, U. Paris Sud)
 
12:30 - 13:45 Déjeuner au CROUS  
13:45 - 14:30 Café au LAMFA ou ailleurs  
14:30 - 15:30 An aperiodic distance shift - Emmanuel JEANDEL (LORIA, U. de Lorraine)
 
15:30 - 16:00 Goûter  
16:00 - 17:00 Recherche de progressions arithmétiques constantes dans les suites substitutives - Valérie GOYHENECHE (LAMFA, U. Picardie Jules Verne)  
20:00 - 22:00 Diner au restaurant O jardin  

Thursday, July 4, 2019

Time Event  
09:30 - 10:00 Accueil - Salle BC 101  
10:00 - 11:00 Le rayon spectral joint pour les matrices tropicales est soit fortement polynomial, soit non calculable - Glen MERLET (I2M, Aix-Marseille U.)  
11:00 - 11:30 Pause café  
11:30 - 12:30 Discrétisations et mesures invariantes : bons ou mauvais amis ? - Pierre-Antoine GUIHENEUF (IMJ, Sorbonne U.)  
12:30 - 13:45 Déjeuner au CROUS  
13:45 - 14:30 Café au LAMFA ou ailleurs  
14:30 - 15:30 A semi-algorithm to explore the set of imbalances in S-adic systems - Mélodie ANDRIEU (I2M, Aix-Marseille U.)  
15:30 - 16:00 Goûter  
16:00 - 17:00 Decidability through first-order logic and regular sequences - Emilie CHARLIER (Département de Mathématiques, U. Liège, Belgique)
 
20:00 - 22:00 Diner au Rétroviseur  

Friday, July 5, 2019

Time Event  
09:00 - 09:15 Accueil - Salle Café du LAMFA  
09:15 - 10:15 Word complexity and computability in subshifts - Pascal VANIER (LACL, U. Paris Est Créteil)
 
10:15 - 11:15 Decidability of the isomorphism and the factorization between minimal substitution subshifts - Julien LEROY (Département de Mathématiques, U. Liège, Belgique)  
11:15 - 11:30 Pause café  
11:30 - 12:30 On expansion of numbers in bases 2 and 3 - Meng WU (Oulu University, Finland)
 
12:30 - 13:15 Déjeuner au CROUS  
13:15 - 14:00 Café de clôture au LAMFA ou ailleurs  
Online user: 4