Nous avons le plaisir d'annoncer que le projet ANR/DFG "FFIUM - Formalisme, formalisation, intuition et compréhension en mathématiques : de la pratique informelle aux systèmes formels et retour", coordonné par Gerhard Heinzmann et Hannes Leitgeb (Munich), vient d'être sélectionné dans le cadre de l'appel franco-allemand 2017 en SHS. Ce projet constitue une suite du projet MathObRe, dont le colloque de clôture a eu lieu au début du mois.
Toutes nos félicitations aux coordinateurs !