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 |
