Logo CIMPA

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

Branching Processes and their Applications

Ibrahima Drame

Summary: Galton Watson process :

                       - without immigration

                       - with immigration

                       - multitype (with a finite number of types)

Continuous time branching process :

    - with exponential lifetime distributions, i.e markovian branching process

Sun. 29 Jan, 2023 → Sat. 04 Feb, 2023

Mathematical Modeling of infectious diseases

Patrick Tchepmo Djomegni

Summary: In this course, students will be introduced to the mathematical modeling of infectious diseases. Basic knowledge on certain diseases (tuberculosis, HIV/AIDS, hepatitis, malaria…) will be provided. Only deterministic mathematical models will be studied. Since the models are expressed in the form of ordinary differential equations, most of them cannot be solved explicitly. The qualitative characteristics of the solutions will be studied.
 

Sun. 08 Jan, 2023 → Sun. 15 Jan, 2023

Lattices and codes : arithmetic for communication systems

Frédérique Oggier

Summary: In this course, we taught show how lattices and codes, both independently and jointly, are used in the context of communication systems. The course was structured as follows : 

  • Introduction to lattices and geometry of numbers
  • Introduction to linear codes and lattices from codes
  • Introduction to number fields and lattices from number fields
  • Introduction to quaternion algebras and codes from quaternion algebras
  • Practical aspects : channel modeling
Mon. 10 Mar, 2025 → Sat. 15 Mar, 2025

Branching Processes and their applications

Ibrahima Drame

Summary: In this course, we will study Galton- Watson processes, which are the simplest prototype of branching processes and are characterized by the fact that time is discrete and represents successive generations. On the other hand, we will consider branching processes in continuous time, that is, populations that reproduce and die at random times, continuously over time.

Sat. 07 Dec, 2024 → Sat. 14 Dec, 2024

Statistics in High Dimension

Frédéric van Wijland

Summary: High dimensional data are everywhere, from physical systems to the spreading of epidemics, the world of economic agents or that of neural networks and machine learning. The course aims at stressing the basic techniques underpinning our understanding of the emergence of collective behaviors in very large assemblies of interacting agents.

Fri. 25 Oct, 2024 → Tue. 05 Nov, 2024

Functional Analysis

Gabriela Alexandra Estevez Jacinto

Summary: We study the space of compact operators defined in Hilbert spaces. We saw some examples and the relation of this space with the other spaces such as the space of operators of finite rank, the set of self-adjoint operators, the set of operators with non-empty eigenvalues. We also studied some of the main properties of compact operators such as the characterization of self-adjoint and compact operators (Spectral Theorem) and some applications.

Sat. 07 Dec, 2024 → Sun. 22 Dec, 2024