Programme

Semaine Mer. 03 Jeu. 04 Ven. 05 Liste

	Mer. 03	Jeu. 04	Ven. 05
09:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00	Accueil 14:00 - 14:30 (30min) Accueil Salle des actes, Grand Château de Valrose Bruno Durand, Enrico Formenti et Gregory Lafitte Calculabilités - Session 1 14:30 - 15:15 (45min) Calculabilités - Session 1 Salle des actes, Grand Château de Valrose Julien Cervelle › Introduction aux mathématiques à rebours (Tutoriel) - Ludovic Patey, Institut Camille Jordan 14:30-15:15 (45min) Pause café 15:15 - 15:30 (15min) Pause café Salle des actes, Grand Château de Valrose Calculabilités - Session 1 15:30 - 16:15 (45min) Calculabilités - Session 1 Salle des actes, Grand Château de Valrose Julien Cervelle › 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 15:30-16:15 (45min)	Calculabilités - Session 2 9:30 - 11:00 (1h30) Calculabilités - Session 2 Salle des actes, Grand Château de Valrose Alexander Shen › About differentiable functions - Olivier Bournez, Laboratoire dínformatique de l\'École polytechnique [Palaiseau] 09:30-10:15 (45min) › Abstract State Machines (Tutoriel) - Julien Cervelle, Université Paris-Est Créteil Val-de-Marne - Paris 12 10:15-11:00 (45min) Pause café 11:00 - 11:15 (15min) Pause café Salle des actes, Grand Château de Valrose Calculabilités - Session 2 11:15 - 12:00 (45min) Calculabilités - Session 2 Salle des actes, Grand Château de Valrose Alexander Shen › Decidability in discrete dynamical systems (tutorial) - Enrico Formenti, Laboratoire dÍnformatique, Signaux, et Systèmes de Sophia Antipolis 11:15-12:00 (45min) Déjeuner 12:00 - 14:00 (2h) Déjeuner Restaurant l'Union Calculabilités - Session 3 14:00 - 15:30 (1h30) Calculabilités - Session 3 Salle des actes, Grand Château de Valrose Olivier Bournez › Space-bounded Kolmogorov complexity - Alexander Shen, LIRMM 14:00-14:45 (45min) › 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 14:45-15:30 (45min) Pause café 15:30 - 15:45 (15min) Pause café Salle des actes, Grand Château de Valrose Calculabilités - Session 4 15:45 - 17:15 (1h30) Calculabilités - Session 4 Salle des actes, Grand Château de Valrose Bruno Durand › Clustering for the information distance and stability under relativization - Andrei Romashchenko, LIRMM 15:45-16:30 (45min) › The Stability of Noisy Tilings in the Arithmetical Hierarchy - Léo Gayral, Institut de Mathématique de Toulouse 16:30-17:15 (45min)	Calculabilités - Session 5 9:30 - 11:00 (1h30) Calculabilités - Session 5 Salle des actes, Grand Château de Valrose Andrei Romashchenko › TBA - Grégory Lafitte, LIRMM - CNRS - Université de Montpellier 09:30-10:15 (45min) › Kolmogorov complexity and around: open questions - Alexander Shen, Laboratoire dÍnformatique de Robotique et de Microélectronique de Montpellier 10:15-11:00 (45min) Business meeting 11:00 - 12:00 (1h) Business meeting Salle des actes, Grand Château de Valrose Olivier Bournez et Gregory Lafitte Déjeuner 12:00 - 14:00 (2h) Déjeuner Restaurant l'Union

Personnes connectées : 2

Vie privée