Programme
| Heures |
événement |
(+)
|
|
14:00 - 14:45
|
Joueurs probabilistes contre joueurs déterministes - Laurent Bienvenu, LaBRI |
|
|
14:45 - 15:30
|
A characterization of polynomial time computable functions from the integers to the reals using discrete ordinary differential equations - Manon Blanc, LIX |
|
|
15:30 - 16:00
|
Pause |
|
|
16:00 - 16:45
|
Les claviers, un nouveau modèle de calcul - Bastien Laboureix, Loria |
|
|
16:45 - 17:30
|
Computable analysis on the space of marked groups - Emmanuel Rauzy, Université de la Sarre |
|
|
19:30 - 23:00
|
Dîner - Grand Café Foy, place Stanislas |
|
| Heures |
événement |
(+)
|
|
09:15 - 10:00
|
The Coq Library of Undecidability Proofs - Dominique Larchey-Wendling, Loria |
|
|
10:00 - 10:45
|
Embedding universal Turing machines in the dynamics of smooth maps - Alonso Herrera Nunez, Université Paul Sabatier |
|
|
10:45 - 11:15
|
Pause |
|
|
11:15 - 12:00
|
Rice-like theorems for automata networks - Guilhem Gamard, Loria |
|
|
12:00 - 12:45
|
Analog characterization of FPSPACE and PSPACE - Riccardo Gozzi, LIX |
|
|
12:45 - 14:00
|
Déjeuner |
|
|
14:00 - 14:45
|
Le problème du domino apériodique en (presque) toute dimension - Benjamin Hellouin, LRI |
|
|
14:45 - 15:30
|
Computational Complexity of Chaotic Gibbs Measures - Léo Gayral, IMT |
|
|
15:30 - 16:00
|
Pause |
|
|
16:00 - 16:45
|
Separating computability notions - Djamel Eddine Amir, Loria |
|
|
Chargement...