Logo CIMPA

Burkina Faso

Automaticity

Didier Jean CAUCAL

Summary: In this automaticity course we will teach the recognition of infinite words by automata. We will study the complexity of these infinite words and the non-algebraicity of the irrational numbers they represent. We will discuss its extension via battery-powered automata.

Sat. 28 Jan, 2023 → Tue. 14 Feb, 2023

The aim of the school is to introduce the audience to one of the pillars of 20th century mathematics, namely index theory, a topic at the cross-roads of various areas of mathematics including geometry, topology and analysis, with many applications in theoretical physics. Index theory is still a very active area of research with many intersting recent developments around the family index theorem and the noncommutative analog of the classical index theorem.

Cette école a pour objectif de développer en Afrique de l’ouest les mathématiques discrètes, et plus généralement les sujets à l’interface des mathématiques et de l’informatique.

Elle fait suite au semestre thématique "Mathématiques et informatique : vers de nouvelles interactions" organisé au CIRM (Marseille) en 2010, et s’appuie sur le réseau africain de géométrie et algèbre appliquées au développement (RAGAAD) et sur l’accord de coopération entre l’Université de la Méditerranée et l’Université Polytechnique de Bobo-Dioulasso.

L'objectif de cette école est d'apporter aux jeunes chercheurs les outils de base pour l'analyse mathématique et la résolution numérique des problèmes aux dérivées partielles linéaires et non linéaires et leur application aux différents modèles physiques, biologiques et mécaniques.