Lauréate du Programme thématique "Graphs and Beyond" à Khanh Hoa University et ICRTM à Hanoi (Vietnam) du 2 au 28 août 2026.
Yeva Fadhilah ASHARI
Affiliation
Diponegoro University
2026
Van-Giang Trinh
Affiliation
Ho Chi Minh City University of Technology
Lauréat du Programme thématique "Graphs and Beyond" à Khanh Hoa University et ICRTM à Hanoi (Vietnam) du 2 au 28 août 2026.
Differential Geometry
Khazhgali Kozhasov
Introduction to Dynamical Systems
Patrick Tchepmo Djomegni
Repana Devendra
Affiliation
IIT Bombay
Lauréat du Trimestre IHP "Operator Algebras: Approximation, Rigidity and Dynamics" du 14 septembre au 4 décembre 2026.
Dejen Ketema MAMO
Affiliation
Debre Berhan University
Lauréat du CEMRACS "Modeling and AI for Environmental Transition" du 13 juillet au 21 août 2026.
Meryem EL HABBAZI
Affiliation
International University of Rabat
Lauréate du CEMRACS "Modeling and AI for Environmental Transition" du 13 juillet au 21 août 2026.
Carlos Manuel ORREGO FRANCO
Affiliation
National University of Colombia
Lauréat du CEMRACS "Modeling and AI for Environmental Transition" du 13 juillet au 21 août 2026.
Johnathan DJELLA
Affiliation
Université Assane Seck de Ziguinchor
Lauréat du Programme thématique "FOUVRY 73" au centre Bernoulli à Lausanne du 17 août au 11 septembre 2026.
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.