gtc2018 : Journées du GT Calculabilités du GdR Informatique Mathématique
2-3 juil. 2018 Palaiseau (France)
Connexion
Mot de passe oublié ?
Créer un compte
Navigation
Accueil
Liste des participants
Programme
Informations pratiques
Plan d'accès
Déposer une proposition d'exposé
SUPPORT
@ Contact
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
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]
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é
16:00 - 16:50
›
Randomisation pour le consensus de moyenne
-
Patrick Lambein, Laboratoire dínformatique de l\'École polytechnique [Palaiseau]
Personnes connectées :
1
Chargement...