Programme
| Heures |
événement |
|
|
14:00 - 14:30
|
Accueil (Salle des actes, Grand Château de Valrose) - Bruno Durand, Enrico Formenti et Gregory Lafitte |
|
|
14:30 - 15:15
|
Calculabilités - Session 1 (Salle des actes, Grand Château de Valrose) - Julien Cervelle |
|
|
14:30 - 15:15 |
› Introduction aux mathématiques à rebours (Tutoriel) - Ludovic Patey, Institut Camille Jordan |
|
|
15:15 - 15:30
|
Pause café (Salle des actes, Grand Château de Valrose) |
|
|
15:30 - 16:15
|
Calculabilités - Session 1 (Salle des actes, Grand Château de Valrose) - Julien Cervelle |
|
|
15:30 - 16:15 |
› TBA (partie 1/2) - Grégory Lafitte, Laboratoire dÍnformatique de Robotique et de Microélectronique de Montpellier - Bruno Durand, Laboratoire dÍnformatique de Robotique et de Microélectronique de Montpellier |
|
| Heures |
événement |
|
|
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 |
|
| Heures |
événement |
|
|
09:30 - 11:00
|
Calculabilités - Session 5 (Salle des actes, Grand Château de Valrose) - Andrei Romashchenko |
|
|
09:30 - 10:15 |
› TBA - Grégory Lafitte, LIRMM - CNRS - Université de Montpellier |
|
|
10:15 - 11:00 |
› Kolmogorov complexity and around: open questions - Alexander Shen, Laboratoire dÍnformatique de Robotique et de Microélectronique de Montpellier |
|
|
11:00 - 12:00
|
Business meeting (Salle des actes, Grand Château de Valrose) - Olivier Bournez et Gregory Lafitte |
|
|
12:00 - 14:00
|
Déjeuner (Restaurant l'Union) |
|
|
Chargement...