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.

The school aims to develop research on discrete mathematics in West Africa, and more generally on topics at the interface between mathematics and computer science.

It is a followup of the thematic semester "Mathematics and computer science: towards new interactions" that was organised at CIRM (Marseille) in 2010, and is supported by the African network of geometry and algebra applied to development (RAGAAD) and by the cooperation agreement between Université de la Méditerranée (Marseille) and Université Polytechnique de Bobo-Dioulasso.

The aim of this school is to introduce young researchers in mathematics to the main tools of analysis and numerical methods for solving, linear and nonlinear partial differential equations and their applications to models in physics.