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

Planning

‹ Thursday, July 4, 2019 ›
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
›9:30 (30min)
Accueil
›11:00 (30min)
Pause café
›11:30 (1h)
Discrétisations et mesures invariantes : bons ou mauvais amis ?
Pierre-Antoine GUIHENEUF (IMJ, Sorbonne U.)
›12:30 (1h15)
Déjeuner au CROUS
›13:45 (45min)
Café au LAMFA ou ailleurs
›14:30 (1h)
A semi-algorithm to explore the set of imbalances in S-adic systems
Mélodie ANDRIEU (I2M, Aix-Marseille U.)
›15:30 (30min)
Goûter
›16:00 (1h)
Decidability through first-order logic and regular sequences
Emilie CHARLIER (Département de Mathématiques, U. Liège, Belgique)
›20:00 (2h)
Diner au Rétroviseur
Session
Speech
Logistics
Break
Tour
Online user: 2