Des preuves et des programmes , c'est une mini-conférence organisée sous la houlette de Hugo Herbelin (Inria, IRIF), 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 Marie Curie, Paris 5e), amphithéâtre Hermite.
Entrée libre sur inscription (gratuite mais obligatoire).
