Une "Chaire d'excellence sénior" a été attribuée en 2007 au Pr Michael DETLEFSEN, Université Notre-Dame, Indiana (USA) pour une durée de 4 ans (2008-2011), dans le cadre d'un programme de l'ANR.

Le projet a été mené par l'Université Nancy 2 (Laboratoire Archives Henri-Poincaré), l'Université Paris 7 (Département HPS), et le Collège de France.

Intitulé de la chaire "Ideals of proof".

site web de la chaire : http://www.univ-nancy2.fr/poincare/idealsofproof/ [1].

Depuis, des collaborations scientifiques se poursuivent dans le prolongement de la chaire (séminaires, Ecole d'été "PhilMath Intersem")