Séminaire Philmath du 25 mars 2024

Le prochain séminaire Philmath recevra le lundi 25 mars 2024, Marie Kerjean (Computer Science, CNRS, LIPN, Université Paris 13), sa présentation aura pour sujet «∂ IS FOR DIALECTICA : WHEN PROOFS AND PROGRAMS MEET DIFFERENTIATION »