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 |