Decidability and dynamical systems

›9:30 (30min)

Accueil

›10:00 (1h)

Le rayon spectral joint pour les matrices tropicales est soit fortement polynomial, soit non calculable
Glen MERLET (I2M, Aix-Marseille U.)

›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