lundi 10 octobre 2022

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  

mardi 11 octobre 2022

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