Lauréat 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
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.
Appel à candidature pour les Fellowships Lie-Størmer-CIMPA 2026
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.
Dulanji Amaraweera Kalutotage
Affiliation
University of Colombo
Lauréate du Trimestre IHP "Operator Algebras: Approximation, Rigidity and Dynamics" du 14 septembre au 4 décembre 2026.
IRP on Analysis of Free Boundary Problems
The CRM opens an annual call for CRM Intensive Research Programmes (IRP) approximately two years in advance. The CRM started organising IRPs in 2003 and has held two to three per year since then. Each programme consists of a number of resident researchers, from junior to senior, and at least two scientific events (workshops, advanced courses, and conferences).
Probability in Turkey 2026: interactions and applications
Coordinators: Meltem Unel (unel@lipn.univ-paris13.fr), Ilayda Baris (ilaydabaris@nesinkoyleri.org)
Inverse problems and applications
Coordinators: Abdeljalil Nachaoui (Abdeljalil.Nachaoui@univ-nantes.fr), Fatima M. Aboud (Fatima.Aboud@sciences.uodiyala.edu.iq)
Applying mathematics to real-world problems
Coordinators: Lê Minh Hà (leminhha@viasm.edu.vn)
Joaquim M. C. Correia (jmcorreia@uevora.pt)
Timothy G. Myers (tmyers@crm.cat)
Hoang Van Ha (hvha@hcmus.edu.vn)