Programme
| 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) |
|
| 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) |
|
| 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 |
|
| 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 |
|
|
