Khazhgali Kozhasov
2026
Introduction to Dynamical Systems
Patrick Tchepmo Djomegni
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.
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)
Analysis and Probability
Coordinator: Dr. Made Tantrawan (Universitas Gadjah Mada, Indonesia) made.tantrawan@ugm.ac.id
Bifurcation Theory and Perturbation Method for Differential Equations
Coordinator: Prof. Dr. Abadi, M.Sc (Universitas Negeri Surabaya, Indonesia) abadi@unesa.ac.id
Graph Theory and Related Fields
Coordinator: Maria Carmen V. Amarra (seams2026_gtrf@math.upd.edu.ph)