Résumé : Cet exposé se veut large public, et adaptatif en fonction du public. On y trouvera des questions liant systèmes dynamiques discrets, un peu de
théorie de la mesure et de la calculabilité.
On commencera par une introduction conséquente sur les automates
cellulaires. On expliquera ensuite ce que sont leurs ensembles limites et
mu-limites, c’est à dire les notions qui permettent de formaliser l’étude
du comportement a long terme des automates cellulaires.
On verra ensuite l’intérêt des problèmes de décision associés à ces objets
avant d’évoquer les techniques originales mise en oeuvre depuis quelques
années qui permettent de positionner finement certains de ces problèmes
dans la hiérarchie arithmétique.

Cet exposé se tiendra en salle C20-13, 20ème étage, Université
Paris 1, Centre Pierre Mendès-France, 90 rue de Tolbiac, 75013 Paris
(métro : Olympiades).