Demailly Prize ceremony for mathlibOct 23, 2026The Demailly Prize ceremony for mathlib will take place at CIRM on 4 November 2026 at 15:00.