Le « Séminaire réflexions », est commun aux Archives Henri Poincaré, à l’Institut Élie Cartan de Lorraine et au Loria et a pour but est de proposer des exposés d’intérêt général. Alexandre Afgoustidis (IECL), Alain Genestier (IECL) et Yacin Hamami (AHP) organisent cette année autour du thème « Démonstration, rigueur et formalisation. » Ces dernières […]