Khazhgali Kozhasov
Introduction to Dynamical Systems
Patrick Tchepmo Djomegni
Tropical Complex Analysis
Ilpo Laine
Summary:
- Basic notions of tropical analysis and tropical functions
- Nevanlinna functions for tropical functions
- Tropical entire functions
- First main theorem in tropical analysis
- Tropical variants of some complex analysis results
- Tropical analysis in a finite interval
- Non-linear tropical functions
- Clunie, Valiron etc. in the tropical setting
Algebraic curves over finite fields
Christophe Ritzenthaler
Summary: motivation sur l’exemple des courbes planes ; introduction des bases de géométrie algébriques (variétés, dimension, singularité, variété projective,…), problématique des courbes maximales sur les corps finis; présentation de 3 projets de recherches.
Random Graphs and Their Applications
Meysam Miralaei
Combinatoire des mots
Idrissa Kaboré
Complex Analysis
Xavier Massaneda
Advanced Algebra
Claudia Schoemann
Call for applications for the 2026 Lie-Størmer-CIMPA fellowship programme
Computers are transforming modern mathematics. From testing conjectures to verifying deep theorems, computer-assisted reasoning is becoming an essential tool across pure and applied mathematics. This course offers a hands-on introduction to one of the most exciting developments in contemporary mathematics: formal proof verification.