FFIUM (Formalism, Formalization, Intuition and Understanding in Mathematics)

ANR-DFG Joint Scheme

Lancement du Projet / Project Launch : Mardi 26 Juin / June 26th, 2018

16h45 Gerhard Heinzmann (co-directeur du projet / FFIUM co-director) : ouverture de la journée

17h00 Máté Szabó (Carnegie Mellon University and FFIUM) : Kalmár Pictures Rigor

18h15 Marianna Antonutti-Marfori (MCMP LMU Munich and FFIUM) : On the Significance of Mathematical Hierarchies

19h30 Marco Panza (co-directeur du projet / FFIUM co-director): clôture de la journée

19h45 Vernissage / Drinks reception

Pour des raisons de sécurité, l’entrée à la Sorbonne est sujet à restriction. Vous êtes invité.e.s à vous inscrire à la journée en envoyant un mail a Marco Panza (panzam10[at]gmail.com) ou à Marina Imocrante (marina.imocrante[at]gmail.com), ou à vous presenter à l’entrée muni.e.s du présent message d’invitation. / For security reasons, access to the Sorbonne building is restricted. Please send an email to register your participation to Marco Panza <panzam10[at]gmail.com> or to Marina Imocrante <marina.imocrante[at]gmail.com>, or bring a printout of this invitation email.