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.