Titre : Trois points de vue sur les réseaux d'automates
Orateur: Guillaume Theyssier
Horaire: 20/09/22 à 14h30
Lieux: IMT Salle F. Pellos (1R2-207)
Résumé :
Les réseaux d'automates introduits par McCulloch et Pitts dans les années 40 sont à la fois des systèmes dynamiques finis et des modèles de calcul. Proposés à l'origine pour étudier les réseaux neuronaux, ils ont été utilisés comme outil de modélisation pour divers phénomènes, notamment la régulation génétique. Au delà de leur utilité en modélisation, les réseaux d'automates se prêtent par leur simplicité formelle à différents points de vue et c'est l'un de leurs aspects les plus séduisants. Dans cet exposé, nous présenterons trois résultats utilisant différents formalismes qui éclairent ces objets sur des questions fondamentale comme l'asynchronisme et le "model checking". La présentation sera non technique et ne nécessitera aucun pré-requis. itulo:
Titre: Liberté, groupe, sous-shifts
Orateur: Sebastien Barbieri
Horaire: 20/09/22 à 15h30
Lieux: IMT Salle F. Pellos (1R2-207)
Résumé:
A subshift of finite type (SFT) is a set of colorings of a group which is invariant under translations and described by a finite set of local rules. It can be considered as a tiling defined with local rules on a group. We will study the question of when a group admits an SFT on which the natural translation action is free, in other words the tiling is strongly aperiodic. We will try to give geometric insight on this property and provide a historical review of some results which relate this question with the geometric and algorithmic properties of a group. We will end this talk with a recent result which characterizes the existence of these objects in a group in terms of its conjugacy classes and the roots of its finitely generated subgroups with the property.