Programme

lundi 2 juillet 2018

Heures événement  
10:30 - 10:40 Opening  
10:40 - 12:20 Exposés (Salle Gilles Kahn (Batiment LIX)) - Chairman: Julien Cervelle  
10:40 - 11:30 › Prédiction et universalité dans les systèmes dynamiques symboliques - Benjamin Hellouin de Menibus, Laboratoire de Recherche en Informatique  
11:30 - 12:20 › Analyse calculatoire des théorèmes d'ensemble fin - Ludovic Patey, Institut Camille Jordan  
12:20 - 14:00 Déjeuner  
14:00 - 14:50 Exposés (Salle Gilles Kahn (Batiment LIX)) - Chairman: Laurent Bienvenu  
14:00 - 14:50 › Descriptive set theory on represented spaces - Mathieu Hoyrup, LORIA - Inria Nancy
main file
14:50 - 15:10 Pause café  
15:10 - 17:40 Exposés (Salle Gilles Kahn (Batiment LIX)) - Chairman: Alexander Shen  
15:10 - 16:00 › Semicomputable Geometry - Donald Stull, Laboratoire Lorrain de Recherche en Informatique et ses Applications  
16:00 - 16:50 › Higher order computability musings and absoluteness (LP version) - Grégory Lafitte, LIRMM - CNRS - Université de Montpellier  
16:50 - 17:40 › Discussions sur le GT Calculabilités - Olivier Bournez, Laboratoire dínformatique de l\'École polytechnique [Palaiseau]
main file
20:00 - 22:00 Dîner (Restaurant "Chez Camille", 6 rue Verrier, Orsay)  

mardi 3 juillet 2018

Heures événement  
09:40 - 10:20 Exposés (Salle Gilles Kahn (Batiment LIX)) - Chairman: Jérôme Durand-Lose  
09:40 - 10:20 › Computability of step-wise simulation between ASMs - Julien Cervelle, Laboratoire dÁlgorithmique, Complexité et Logique - Patrick Cegielski, Laboratoire dÁlgorithmique, Complexité et Logique  
10:20 - 10:40 Pause café (Salle Gilles Kahn (Batiment LIX))  
10:40 - 12:20 Exposés (Salle Gilles Kahn (Batiment LIX)) - Chairman: Mathieu Hoyrup  
10:40 - 11:30 › Random noise and Kolmogorov complexity - Alexander Shen, Laboratoire dÍnformatique de Robotique et de Microélectronique de Montpellier  
11:30 - 12:20 › Monotonous betting strategies in warped casinos - Nan Fang, Universitaet Heidelberg  
12:20 - 14:00 Déjeuner  
14:00 - 14:50 Exposés (Salle Gilles Kahn (Batiment LIX)) - Chairman: Benjamin Hellouin  
14:00 - 14:50 › Le problème d'agrément de clé secrète et une caractérisation de l'information mutuelle. // The problem of secret key agreement and a characterization of the mutual information. - Andrei Romashchenko, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier  
14:50 - 15:10 Pause café  
15:10 - 16:50 Exposés (Salle Gilles Kahn (Batiment LIX)) - Chairman: Christophe Papazian  
15:10 - 16:00 › A gauge-invariant reversible cellular automaton - Pablo Arrighi, Aix Marseille Université
main file
16:00 - 16:50 › Randomisation pour le consensus de moyenne - Patrick Lambein, Laboratoire dínformatique de l\'École polytechnique [Palaiseau]  
  
Personnes connectées : 1