|
09:30 - 11:00
|
Calculabilités - Session 2 (Salle des actes, Grand Château de Valrose) - Alexander Shen |
(+)
|
|
09:30 - 10:15 |
› About differentiable functions - Olivier Bournez, Laboratoire dínformatique de l\'École polytechnique [Palaiseau] |
|
|
10:15 - 11:00 |
› Abstract State Machines (Tutoriel) - Julien Cervelle, Université Paris-Est Créteil Val-de-Marne - Paris 12 |
|
|
11:00 - 11:15
|
Pause café (Salle des actes, Grand Château de Valrose) |
|
|
11:15 - 12:00
|
Calculabilités - Session 2 (Salle des actes, Grand Château de Valrose) - Alexander Shen |
(+)
|
|
11:15 - 12:00 |
› Decidability in discrete dynamical systems (tutorial) - Enrico Formenti, Laboratoire dÍnformatique, Signaux, et Systèmes de Sophia Antipolis |
|
|
12:00 - 14:00
|
Déjeuner (Restaurant l'Union) |
|
|
14:00 - 15:30
|
Calculabilités - Session 3 (Salle des actes, Grand Château de Valrose) - Olivier Bournez |
(+)
|
|
14:00 - 14:45 |
› Space-bounded Kolmogorov complexity - Alexander Shen, LIRMM |
|
|
14:45 - 15:30 |
› TBA (partie 2/2) - Grégory Lafitte, LIRMM - CNRS - Université de Montpellier - Bruno Durand, Laboratoire dÍnformatique de Robotique et de Microélectronique de Montpellier |
|
|
15:30 - 15:45
|
Pause café (Salle des actes, Grand Château de Valrose) |
|
|
15:45 - 17:15
|
Calculabilités - Session 4 (Salle des actes, Grand Château de Valrose) - Bruno Durand |
(+)
|
|
15:45 - 16:30 |
› Clustering for the information distance and stability under relativization - Andrei Romashchenko, LIRMM |
|
|
16:30 - 17:15 |
› The Stability of Noisy Tilings in the Arithmetical Hierarchy - Léo Gayral, Institut de Mathématique de Toulouse |
|
