10-13 juil. 2017 Paris (France)

Programme

lundi 10 juillet 2017

Heures événement  
13:00 - 14:00 Laurent Bartholdi (Amphi Turing) - Amenability  
14:30 - 15:30 Matthieu Picantin (Amphi Turing) - Automates, (semi)groupes et dualités (soutenance d'habilitation)
 
16:15 - 19:00 Pot d'habilitation (Coin café 3e)  

mardi 11 juillet 2017

Heures événement  
09:30 - 10:20 Ines Klimann (Amphi Turing) - Overview of the MealyM project  
10:20 - 10:40 Pause café (Amphi Turing)  
10:40 - 11:30 Dmytro Savchuk (Amphi Turing) - Duality in reversible automata generating lamplighter type groups  
11:30 - 12:20 Martin Delacourt (Amphi Turing) - Permutive one-way cellular automata and the finiteness problem for automaton groups  
14:00 - 14:50 Irène Marcovici (Amphi Turing) - Ergodicity of noisy cellular automata: the coupling method and beyond  
14:50 - 15:10 Pause café (Amphi Turing)  
15:10 - 16:00 Daniele D'Angeli (Amphi Turing) - Automaton (semi)groups: on the undecidability of some problems  
16:00 - 16:50 Pierre Gillibert (Amphi Turing) - Simulating Turing machines with invertible Mealy automata  
18:00 - 22:30 Cocktail (Barge du Crous)
 

mercredi 12 juillet 2017

Heures événement  
09:30 - 10:20 Tara Brough (Amphi Turing) - The power of symbol-tuples for automaton semigroup constructions  
10:20 - 10:40 Pause café (Amphi Turing)  
10:40 - 11:30 Nicolas Ollinger (Amphi Turing) - The periodicity problem of cellular automata  
11:30 - 12:20 Francesca Fiorenzi (Amphi Turing) - Entropy of strongly irreducible subshifts  
14:00 - 14:50 Nathalie Aubrun (Amphi Turing) - An application of Lovász local lemma in Symbolic Dynamics  
14:50 - 15:10 Pause café (Amphi Turing)  
15:10 - 16:00 Markus Lohrey (Amphi Turing) - Knapsack and subset sum for groups beyond the integers  
16:00 - 16:50 Delaram Kahrobaei (Amphi Turing) - Post-quantum group-based cryptography  

jeudi 13 juillet 2017

Heures événement  
09:30 - 10:20 Alain J. Cain (Amphi Turing) - Automaton, automatic, FA-presentable: comparing three automata-theoretic approaches to semigroups  
10:20 - 10:40 Pause café (Amphi Turing)  
10:40 - 11:30 Cyril Nicaud (Amphi Turing) - Random Automata  
11:30 - 12:20 Jean Mairesse (Amphi Turing) - Uniform measures on braid monoids  
14:30 - 15:45 Thibault Godin (Amphi Turing) - Mealy machines, automaton (semi)groups, decision problems, and random generation (PhD defense)  
16:15 - 19:00 Pot de thèse  
  
Personnes connectées : 1