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 logiques, avec notamment la correspondance entre preuves et programmes et la théorie des types homotopiques,
- la formalisation des mathématiques,
- la preuve automatique et ses liens avec l'intelligence artificielle,
- le rêve d'une informatique sans bugs,
- la certification des flottants,
...
Entrée libre sur inscription.
