Des preuves et des programmes

La prochaine édition de Mathématiques en mouvement aura pour thème Des preuves et des programmes. Elle aura lieu le samedi 2 décembre 2023 de 14h à 18h (et sera suivie d'un pot de clôture de 18h à 19h) à l'Institut Henri Poincaré (5 rue Pierre et Maris Curie, Paris 5e), amphithéâtre Hermite.

À travers cinq exposés et une tabe ronde, cette mini-conférence sera l'occasion d'explorer des sujets tels que :

- les fondements, avec notamment la correspondance entre preuves et programmes et la théorie des types homotopiques,

- la formalisation des mathématiques,

- la preuve automatique et le lien avec l'intelligence artificielle,

- le rêve d'une informatique sans bugs,

- la certification des flottants,

...

Entrée libre sur inscription.