Talks


2020

  • Cognitive Bases of Euclidean Diagrammatic Reasoning: Some Empirical Results. CAOs Lab Meeting, CMU, Pittsburgh. February 28, 2020.
  • Cognitive Bases of Euclidean Diagrammatic Reasoning: Some Empirical Results. CMU-Pitt Lean Working Group, University of Pittsburgh, Pittsburgh. February 25, 2020.

2019

  • Proving Together: Shared Agency and Mathematical Proofs from a Planning Perspective.. International Workshop on Mathematical Practice, Aix-Marseille Université, Aix-en-Provence. October 10, 2019.
  • Rigor Judgements in Mathematical Practice. Montréal Inter-University Workshop on History and Philosophy of Mathematics, McGill University, Montréal. September 20, 2019.
  • Cognitive Bases of Euclidean Diagrammatic Reasoning: Some Empirical Results. Seminar of the History and Philosophy of Mathematics Research Group, McGill University, Montréal. September 12, 2019.
  • Cognitive Bases of Euclidean Diagrammatic Reasoning: Some Empirical Results. EuroCogSci 2019, Bochum. September 3, 2019.
  • Cognitive Bases of Euclidean Diagrammatic Reasoning: Some Empirical Results. Mathematics and Imagination Workshop, Tallinn University of Technology, Tallinn. August 28, 2019.
  • Rigor Judgements in Mathematical Practice. Formalisation vs. Meaning in Mathematics: Formal Theories as Tools for Understanding, IHPST, Paris. June 11, 2019.
  • Rigor Judgements in Mathematical Practice. Philmath Intersem, SPHERE, Paris. June 9, 2019.
  • Cognitive Bases of Euclidean Diagrammatic Reasoning: Some Empirical Results. Mathematics in Practice, Stanford University, Stanford. May 11, 2019.

2018

  • Cognitive Bases of Euclidean Diagrammatic Reasoning: Some Empirical Results. Mathematics in Action Workshop, Archives Henri Poincaré, Nancy. December 14, 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.