Programme
- Déroulement
- Lundi 20
- 11h30-13h30 : Accueil et repas
- 13h30-14h30 : T. Colcombet - The notion of regularity in language theory (1/2)
- 14h30-15h00 : N. Ollinger - Combinatorial substitutions and tilings
- 15h00-15h30 : P. Caron - Dérivées partielles d'une expression étendue
- 15h30-16h00 : Pause
- 16h00-17h00 : A. Bouillard - Quelques aspects algorithmiques du network calculus
- 17h00-17h30 : F. Durand - Décidabilité de la $\omega$-equivalence des HD0L dans le cas primitif
- 19h00 --: Repas à l'Hôtel de la marine, Arromanches
- Mardi 21
- 9h30-10h30 : T. Colcombet - The notion of regularity in language theory (2/2)
- 10h30-11h00 : Pause
- 11h00-12h00 : E. Jeandel - Points minimaux dans les pavages
- 12h00-12h30: P. Vanier - Pi01 classes and tiling
- 12h30-14h30 : Repas
- 14h30-15h30 : F. Blanchard - Entropie et chaos sur les espaces symboliques (1/2)
- 15h30-16h00 : J. Cassaigne - Dynamique des graphes de Rauzy pour les mots de très basse complexité
- 16h00-16h30 : Pause
- 16h30-17h00 : E. Formenti - From one-dimensional to two-dimensional cellular automata
- 17h00-17h30 : M. Noual - Comportement des réseaux d'automates booléens, circuits et modes de mise à jour
- 17h30-18h00 : I. Marcovici - Bifurcations dans les automates cellulaires
- Mercredi 22
- 9h30-10h30 : F. Blanchard - Entropie et chaos sur les espaces symboliques (2/2)
- 10h30-11h00 : Pause
- 11h00-12h00 : R. Pavlov - Notions of subdynamics for multidimensional shifts of finite type
- 12h00-12h30 : T. de la Rue - Dynamics of lambda-continued fractions and beta-shifts
- 12h30-14h30 : repas
- 14h30-15h30 : B. Vallée
- Mini-cours
- François Blanchard (LAMA, Paris-Est) - Entropie et chaos sur les espaces symboliques
Résumé : La notion de chaos reste difficile à cerner et ses rapports avec celle de complexité ne sont pas simples. C'est particulièrement vrai dans les dynamiques qu'on rencontre en informatique théorique. Nous expliquerons comment l'entropie topologique mesure un certain type d'imprévisibilité et quels rapports elle entretient avec d'autres propriétés dites "chaotiques", ceci dans les deux types de dynamiques usuels en informatique théorique, celle des sous-shifts et celles des automates cellulaires.
- Thomas Colcombet (LIAFA, Paris-Diderot) - The notion of regularity in language theory
Résumé : The notion of regular languages is central in automata theory. One key reason of this importance is due to the numerous effectively equivalent characterisations of regular languages. This notion of regularity is well known for languages of finite words. It has then been extended in various directions, such as for languages of infinite words, of finite and infinite trees, of data-words, or for cost functions. In this mini-course, we will present this very rich notion of regularity. The first hour will be dedicated to the regular language of finite words, and to a panorama of various possible (strong) extensions. During the second hour we will concentrate our attention to the case of infinite words.
