Planning

Week Wed. 03 Thu. 04 Fri. 05 List

	Wed. 03	Thu. 04	Fri. 05
09:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00	Welcome 14:00 - 14:30 (30min) Welcome Salle des actes, Grand Château de Valrose Bruno Durand, Enrico Formenti et Gregory Lafitte Computabilities - Session 1 14:30 - 15:15 (45min) Computabilities - 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) Coffee break 15:15 - 15:30 (15min) Coffee break Salle des actes, Grand Château de Valrose Computabilities - Session 1 15:30 - 16:15 (45min) Computabilities - 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)	Computabilities - Session 2 9:30 - 11:00 (1h30) Computabilities - 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) Coffee break 11:00 - 11:15 (15min) Coffee break Salle des actes, Grand Château de Valrose Computabilities - Session 2 11:15 - 12:00 (45min) Computabilities - 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) Lunch 12:00 - 14:00 (2h) Lunch Restaurant l'Union Computabilities - Session 3 14:00 - 15:30 (1h30) Computabilities - 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) Coffee break 15:30 - 15:45 (15min) Coffee break Salle des actes, Grand Château de Valrose Computabilities - Session 4 15:45 - 17:15 (1h30) Computabilities - 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)	Computabilities - Session 5 9:30 - 11:00 (1h30) Computabilities - 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 Lunch 12:00 - 14:00 (2h) Lunch Restaurant l'Union

Online user: 2

Privacy