*Formalisation vs. Meaning in Mathematics: Formal theories as tools for understanding* *Themes from the work of Göran Sundholm.*
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 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 *Zoe McConaughey (join talk with Shahid Rahman)*,* Immanent Reasoning and CTT: building on Göran Sundholm’s Insight on Dialogical Logic* 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 lunch *Chair: Jacques Dubucs* 14.00.15.30 *Mark van Atten*, *Sundholm and Heyting* 15.30 -15.45 break 15.45 - 17.15 *Michael Detlefsen*, *Weyl vs. Dedekind on Proof, Complexity and Intuition* 17.15 - 18.45 *Mathieu Marion*, *Sundholm’s *Tractatus*.* 18.45 - 19.00 Final remarks by Göran Sundholm Address : 13, rue du four 75006 Paris - 2nd floor -- Pour toute question, la FAQ de la liste se trouve ici: https://www.vidal-rosset.net/