26 Jun 2018
Paris, France
FFIUM (Formalism, Formalization, Intuition and Understanding in Mathematics) ANR-DFG Joint Scheme Lancement du Projet / Project Launch Mardi 26 Juin 2018 / Tuesday 26 June 2018, 16h45 Université de Paris 1, Panthéon-Sorbonne, 17 Rue de la Sorbonne, 75005 Paris. Sale Lalande, UFR de Philosophie. 16h45 Gerhard Heinzmann (Co-director of the Project): Ouverture de la journée / Opening address 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-director of the Project): Clôture de la journée / Closing address 19h45 Vernissage d?ouverture du programme / Drinks reception Vous êtes tous invité à participer / You are all invited to attend. Pour raison de sécurité l?entrée à la Sorbonne est sujet à restriction. Vous êtes invités à vous inscrire à la journée en envoyant un mail a Marco Panza <panzam10@gmail.com> ou à Marina Imocrante <marina.imocrante@gmail.com>, ou à vous presenter à l?entrée muni du présent mail d?invitation. For security reasons, access to the Sorbonne building is restricted. Please send an email to register your participation to Marco Panza <panzam10@gmail.com> or to Marina Imocrante <marina.imocrante@gmail.com>, or bring a printout of this invitation email. ------------ Dr. Marianna Antonutti Marfori Marie Sk?odowska-Curie Postdoctoral Fellow Munich Center for Mathematical Philosophy Ludwig-Maximilians-Universität München Geschwister-Scholl-Platz 1 80539 München -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam