MealyM Final Event

10-13 Jul 2017 Paris (France)

Planning

Week Mon. 10 Tue. 11 Wed. 12 Thu. 13 List

	Mon. 10	Tue. 11	Wed. 12	Thu. 13
09:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00 19:00 20:00 21:00 22:00	Laurent Bartholdi 13:00 - 14:00 (1h) Laurent Bartholdi Amphi Turing Amenability Matthieu Picantin 14:30 - 15:30 (1h) Matthieu Picantin Amphi Turing Automates, (semi)groupes et dualités (soutenance d'habilitation) https://mealym.sciencesconf.org/data/program/HdR.pdf Pot d'habilitation 16:15 - 19:00 (2h45) Pot d'habilitation Coin café 3e	Ines Klimann 9:30 - 10:20 (50min) Ines Klimann Amphi Turing Overview of the MealyM project Coffee break 10:20 - 10:40 (20min) Coffee break Amphi Turing Dmytro Savchuk 10:40 - 11:30 (50min) Dmytro Savchuk Amphi Turing Duality in reversible automata generating lamplighter type groups Martin Delacourt 11:30 - 12:20 (50min) Martin Delacourt Amphi Turing Permutive one-way cellular automata and the finiteness problem for automaton groups Irène Marcovici 14:00 - 14:50 (50min) Irène Marcovici Amphi Turing Ergodicity of noisy cellular automata: the coupling method and beyond Coffee break 14:50 - 15:10 (20min) Coffee break Amphi Turing Daniele D'Angeli 15:10 - 16:00 (50min) Daniele D'Angeli Amphi Turing Automaton (semi)groups: on the undecidability of some problems Pierre Gillibert 16:00 - 16:50 (50min) Pierre Gillibert Amphi Turing Simulating Turing machines with invertible Mealy automata Cocktail 18:00 - 22:30 (4h30) Cocktail Barge du Crous https://mealym.sciencesconf.org/data/program/barge.gif	Tara Brough 9:30 - 10:20 (50min) Tara Brough Amphi Turing The power of symbol-tuples for automaton semigroup constructions Coffee break 10:20 - 10:40 (20min) Coffee break Amphi Turing Nicolas Ollinger 10:40 - 11:30 (50min) Nicolas Ollinger Amphi Turing The periodicity problem of cellular automata Francesca Fiorenzi 11:30 - 12:20 (50min) Francesca Fiorenzi Amphi Turing Entropy of strongly irreducible subshifts Nathalie Aubrun 14:00 - 14:50 (50min) Nathalie Aubrun Amphi Turing An application of Lovász local lemma in Symbolic Dynamics Coffee break 14:50 - 15:10 (20min) Coffee break Amphi Turing Markus Lohrey 15:10 - 16:00 (50min) Markus Lohrey Amphi Turing Knapsack and subset sum for groups beyond the integers Delaram Kahrobaei 16:00 - 16:50 (50min) Delaram Kahrobaei Amphi Turing Post-quantum group-based cryptography	Alain J. Cain 9:30 - 10:20 (50min) Alain J. Cain Amphi Turing Automaton, automatic, FA-presentable: comparing three automata-theoretic approaches to semigroups Coffee break 10:20 - 10:40 (20min) Coffee break Amphi Turing Cyril Nicaud 10:40 - 11:30 (50min) Cyril Nicaud Amphi Turing Random Automata Jean Mairesse 11:30 - 12:20 (50min) Jean Mairesse Amphi Turing Uniform measures on braid monoids Thibault Godin 14:30 - 15:45 (1h15) Thibault Godin Amphi Turing Mealy machines, automaton (semi)groups, decision problems, and random generation (PhD defense) Pot de thèse 16:15 - 19:00 (2h45) Pot de thèse

Online user: 1