Ensembles mu-limites d’automates cellulaire et calculabilité

Laurent Boyer (SAMM - Université Paris 1)
vendredi 22 novembre 2013

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


Agenda

<<

2017

>>

<<

Mai

>>

Aujourd'hui

LuMaMeJeVeSaDi
1234567
891011121314
15161718192021
22232425262728
2930311234

Annonces

ESANN 2016 : European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning


STATLEARN 2016


ICOR 2016