*Formalisation vs. Meaning in Mathematics : Formal theories as tools for understanding*
*Themes from the work of G**ö**ran Sundholm* *Address : 13, rue du four 75006 Paris - 2nd floor * *Marco Panza : **panza...@gmail.com <panza...@gmail.com>* *Day 1* - *June 13th, 2019* - IHPST, Salle de conférences *Chair : Maria van der Schaar* 9.00 - 10.30 Giuseppe Primiero, From Proof to Designs 10.30 - 10.45 Coffee break 10.45 - 12.15 Francesca Poggiolesi, Grounding Principles for (Relevant) Implication 12.15 - 14.00 Lunch *Chair : Michel Bourdeau* 14.00 - 15.30 Alberto Naibo (join talk with Marco Panza), Constructions and Proofs in Euclid's Geometry 15.30 - 15.45 Break 15.45 - 17.15 Mark van Atten, Sundholm and Heyting 17.15 - 18.45 Gerhard Heinzmann, Some Reflexions on the Demarcation Line between Evident and Suspect Reasoning 20.00 Dinner *Day 2* - *June 14th, 2019* - IHPST, Salle de conférences *Chair : Hourya Benis Sinaceur * 9.00 - 10.30 Pierre Wagner, Judgment and commitment 10.30 - 10.45 Coffee break 10.45 - 12.15 Kevin Mulligan, Logical Norms and Logical Truths. Was Hume Wrong ? 12.15 - 14.00 Lunch *Chair : Jacques Dubucs* 14.00 - 15.30 Shahid Rahman (join talk with Nicolas Clerbout), Immanent Reasoning and CTT : building on Göran Sundholm’s Insight on Dialogical Logic 15.30 - 15.45 Break 15.45 - 17.15 Yacine Hamami, Rigor Judgements in Mathematical Practice 17.15 - 18.45 Mathieu Marion, Sundholm’s Tractatus 18.45 - 19.00 Final remarks by Göran Sundholm -- Pour toute question, la FAQ de la liste se trouve ici: https://www.vidal-rosset.net/