Khazhgali Kozhasov
2026
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.
Caio BUENO
Affiliation
Universidade Federal de Minas Gerais
Lauréat du Programme thématique "FOUVRY 73" au centre Bernoulli à Lausanne du 17 août au 11 septembre 2026.
PRABHAT KUMAR MISHRA
Affiliation
Indian Institute of Technology Jammu
Lauréat du Programme thématique "FOUVRY 73" au centre Bernoulli à Lausanne du 17 août au 11 septembre 2026.