Talks


2018

  • Rationality in Mathematical Proofs. Proofs and Representations Workshop, Munich Center for Mathematical Philosophy, Munich. July 6-8, 2018.
  • Rationality in Mathematical Proofs. Seventh Biennial SPSP, Ghent. July 1, 2018.
  • Les Démonstrations dans la Pratique Mathématique: Logique, Représentations, et Agentivité. École thématique CNRS « Mathématiques et Philosophie Contemporaines », Saint-Flour. June 27-30, 2018.
  • Rationality in Mathematical Proofs. Topics in Logic Seminar, Stanford University. April 17, 2018.
  • The Epistemology of Symbolic Reasoning. Workshop around David Landy in the Context of the Project « Les Mathématiques en Action », Archives Henri Poincaré, Nancy. April 5-6, 2018.

2017

  • Rationality in Mathematical Proofs. Ninth French Philosophy of Mathematics Workshop, Nancy. October 5-7, 2017.
  • Rationalité et Savoir-Faire dans les Démonstrations Mathématiques. Atelier Savoir-Faire Mathématiques, Clermont-Ferrand. September 14-15, 2017.
  • Poincaré and Prawitz on Mathematical Induction. SRP Meeting, Vrije Universiteit Brussel, Brussels. February 23-24, 2017.

2016

  • Poincaré et Prawitz sur l’Induction Mathématique. Seminar of the ANR Project MathObRe, Archives Henri Poincaré, Nancy. November 28, 2019.
  • Towards a Game-Theoretic Analysis of Interrogative Games. LogiCIC Workshop, Amsterdam. November 17-19, 2016.
  • A Game-Theoretic Analysis of Interrogative Games: First Steps. QuestPro 2016, Poznań. September 10, 2016.

2015

  • The Granularity of Proof: McKay’s Proof of Cauchy’s Group Theorem as a Case-Study. Third International Meeting of the Association for the Philosophy of Mathematical Practice, Paris. November 2-4, 2015.

2014

  • Bringing the Interrogative Model of Inquiry to the Multi-Agent Case: A DEL-Style Approach. Trends in Logic XIV, Ghent. July 10, 2014.
  • Poincaré and Prawitz on Mathematical Induction. Logica 2014, Hejnice. June 16-20, 2014.
  • Processing Spatial Relations in Euclidean Diagrams. Spatial Cognition Group Meeting, Utrecht Universiteit, Utrecht. May 19, 2014.
  • Towards a Cognitive Investigation of Euclidean Diagrammatic Reasoning. PhD Days–DsH Event, Vrije Universiteit Brussel, Brussels. February 7, 2014.
  • Bringing the Interrogative Model of Inquiry to the Multi-Agent Case: A DEL-Style Approach. Workshop on Dynamic Modal Logics and Tableau Systems, Brussels. January 16, 2014.

2013

  • What is a Geometric Concept? Conference on Perception and Concepts, Riga. May 16-18, 2013.
  • What is a Geometric Concept? Workshop on Concepts and Categorization, Düsseldorf. May 15-16, 2013.
  • Towards a Cognitive Investigation of Euclidean Diagrammatic Reasoning. Lecture Series in Brain and Cognition, University of Giessen, Giessen. April 24, 2013.
  • When is Deduction Informative in Mathematics? Fifth Philosophy of Information Workshop, Hatfield. March 27-28, 2013.

2012

  • An Inquisitive Approach to Interrogative Inquiry. Reasoning Club Conference, Brussels. September 17-19, 2012.
  • An Inquisitive Formalization of Interrogative Inquiry. Strategies for Learning, Belief Revision and Preference Change at ESSLLI 2012, Opole. August 6-17, 2012.
  • Euclid’s Diagrammatic Logic and Cognitive Science. Logic and Cognition Workshop at ESSLLI 2012, Opole. August 6-17, 2012.
  • Euclid’s Diagrammatic Logic and Cognitive Science. International Conference on Thinking 2012, London. July 3-6, 2012.
  • Towards a Dynamic Logic of Interrogative Inquiry. Trends in Logic XI, Bochum. June 3-5, 2012.
  • Euclid’s Diagrammatic Logic: Interpretation, Reasoning, and Cognition. First Logic and Cognition Conference, Poznań. May 17-19, 2012.
  • Towards an Inquisitive Approach to Interrogative Inquiry. DiP Colloquium, Philosophy Department-ILLC, Universiteit van Amsterdam, Amsterdam. May 11, 2012.
  • Towards a Dynamic Logic of Interrogative Inquiry. PhDs in Logic IV, Ghent. April 12-13, 2012.
  • Towards a Dynamic Logic of Interrogative Inquiry. STL Seminar, Philosophy Department, University of Lille 3, Lille. April 5, 2012.
  • Towards an Inquisitive Approach to Interrogative Inquiry. Interrogative Model of Inquiry Workshop, Paris. January 31, 2012.

2011

  • Towards a Dynamic Logic of Interrogative Inquiry. Questions, Games, Logic Workshop, 22nd edition of the Games, Logic, Language and Computation Series at the ILLC, Amsterdam. December 1, 2011.
  • The Interrogative Model of Inquiry meets Dynamic Epistemic Logics. Seminar of the ANR group on the Interrogative Model of Inquiry, IHPST, Paris. September 30, 2011.