Bonjour,
en lien avec cette précédente annonce :
https://ardm.eu/autres-manifestations-publications/autres-manifestations/international-symposium-on-proof-bremen-germany-12-14-march-2025/
Chrisitine Knipping m’a signalé le webinaire qui accompagne l’événement avec des conférences accessibles en ligne, en lien avec la question de la preuve. Détails ici et dans le pdf joint.
Bonne journée,
Simon
