SDA2 : Systèmes Dynamiques, Automates et Algorithmes

Un groupe de travail du GDR-IM.

Responsables : Wolfgang Steiner et Pascal Vanier.

Cette page est régulièrement mise à jour, n'hésitez pas à suggérer des modifications.

Présentation

SDA2 est un groupe de travail du GDR IM, pour Informatique Mathématique. Un GDR (Groupement De Recherche) est une structure du CNRS visant à animer et organiser la recherche en France sur une thématique précise. Le GDR IM est structuré en pôles eux-mêmes composés de groupes de travail.

L’étude des systèmes dynamiques est au coeur de SDA2, qu’ils soient discrets ou continus, déterministes ou probabilistes, unidimensionnels (par exemple, transformations de l’intervalle ou codages symboliques) ou multidimensionnels (automates cellulaires, pavages, etc). Leur étude se fait aussi bien selon les angles de la théorie ergodique que de l’analyse en moyenne, ou encore de la calculabilité.

Thématiques principales

• Dynamique symbolique, ordres apériodiques, automates et langages formels, automates cellulaires, pavages et numération.
• Systèmes dynamiques à événements discrets: aspects logiques, temporels et probabilistes.
• Modélisation et analyse en moyenne des algorithmes par des systèmes dynamiques.

Objectifs

• Organiser des journées annuelles.
• Relayer via la liste de diffusion les informations pouvant intéresser la communauté.
• Tenir à jour et en ligne une liste des (post-)doctorants du domaine avec leurs sujets de thèse.
• Organiser des visites-échanges entre doctorants.