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.
Lauréat du Programme thématique "FOUVRY 73" au centre Bernoulli à Lausanne du 17 août au 11 septembre 2026.
Lauréat du Programme thématique "FOUVRY 73" au centre Bernoulli à Lausanne du 17 août au 11 septembre 2026.
Lauréate du Trimestre IHP "Operator Algebras: Approximation, Rigidity and Dynamics" du 14 septembre au 4 décembre 2026.
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).
Coordinators: Meltem Unel (unel@lipn.univ-paris13.fr), Ilayda Baris (ilaydabaris@nesinkoyleri.org)
Coordinators: Abdeljalil Nachaoui (Abdeljalil.Nachaoui@univ-nantes.fr), Fatima M. Aboud (Fatima.Aboud@sciences.uodiyala.edu.iq)
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)
Coordinator: Dr. Made Tantrawan (Universitas Gadjah Mada, Indonesia) made.tantrawan@ugm.ac.id
Coordinator: Prof. Dr. Abadi, M.Sc (Universitas Negeri Surabaya, Indonesia) abadi@unesa.ac.id