Journées du Groupe de Travail Calculabilité

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é

Salle des actes, Grand Château de Valrose

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

Restaurant l'Union

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é

Salle des actes, Grand Château de Valrose

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)