Summer school "Proof assistants and applications"

Quand : 31 août 2026 à 09:00

Où : IHP, 11 rue Pierre et Marie Curie, Paris 5e

Organisé par : Institut Henri Poincaré

This summer school offers an introduction to proof assistants for mathematics and its applications in programme certifications. It covers several recent techniques, such as homotopy theory or the interactions with large language models. The summer school is composed of five lectures and three talks. Each lecture (2x1h30) will be complemented by 2 hours of tutorials. It is primarily intended for th