Talks • Yacin Hamami

2023

What Role(s) for Intuition in Rigorous Mathematical Reasoning? Philosophy Colloquium, ETH Zürich, Zürich. September 27, 2023.
Should Learning be an Object of Study for the Philosophy of Mathematics? Mathematics Education meets the Philosophy of Mathematical Practice Workshop, Loughborough University, Loughborough. June 14, 2023.
What Role(s) for Intuition in Rigorous Mathematical Reasoning? Nancy-Liège Workshop on Mathematical Intuition: Nancy Edition, Université de Lorraine, Nancy. May 31, 2023.
Mini-course in the Philosophy of Mathematics. Colloquium of the Mathematics PhD Students of the Jean Alexandre Dieudonné Laboratory, Université Côte d’Azur, Fréjus. May 10-11, 2023.

2022

What Role(s) for Intuition in Rigorous Mathematical Reasoning? Seminar of the Philosophy of Mathematics and Logic Research Group (“Logik Café”), Universität Wien, Vienna. November 10, 2022.
Understanding Mathematical Proofs from a Planning Perspective. Seminar of the Philosophy of Mathematics and Logic Research Group (“Logik Café”), Universität Wien, Vienna. November 9, 2022.
Mathematical Rigor in Practice: Dialogical Aspects. HOPOS 2022, Symposium “Mathematics and the Dialogue”, online. June 23, 2022.
Understanding Mathematical Proofs from a Planning Perspective. Colloquium of the Institute for Science in Society, Radboud University, Nijmegen. May 24, 2022.
Intuition in Diagram-Based Geometric Reasoning: A Cognitive Investigation. Sixth Creph Annual Seminar “Pick up your Eyes”, Université de Liège, Liège. May 4, 2022.
Cognitive Bases of Euclidean Diagrammatic Reasoning : Some Empirical Results. HoTT Seminar, Philosophy Department, CMU, Pittsburgh. February 21, 2022.
Understanding Mathematical Proofs from a Planning Perspective. Seminar of the ANR Project FFIUM, Archives Henri Poincaré, Université de Lorraine, Nancy. February 16, 2022.

2021

Shared Agency in Mathematical Practice: What we can Learn from the Philosophy of Action. Workshop on Mathematical Practice and Social Ontology, University of Parma, Parma. December 17, 2021.
Understanding Mathematical proofs from a Planning Perspective. OLOFOS Inter-University Seminar, Groupe de Contact FNRS, Université de Liège, Liège. October 22, 2021.
Cognitive Bases of Euclidean Diagrammatic Reasoning : Some Empirical Results. Topics in Philosophy of Mathematical Practice 2021, University of Copenhagen, online. August 16, 2021.
Mathematical Rigor in Practice: Dialogical Aspects. Joint Conference of the British Society for the History of Mathematics and the Canadian Society for History and Philosophy of Mathematics, Symposium “Mathematics and the Dialogue”, online. July 12, 2021.
The Psychology of Diagram-Based Geometric Reasoning. Reasoning Lab Seminar, Navy Center for Applied Research in Artificial Intelligence, Washington, D.C., online. July 1, 2021.
Rigor Judgments in Mathematical Practice. Pacific APA Meeting, Joint PMA/APMP Group Session, online. April 10, 2021.
Understanding Mathematical Proofs from a Planning Perspective. CLPS Seminar, VUB, Brussels. March 18, 2021.

2020

Understanding Mathematical Proofs : A Planning Perspective. Philosophy Colloquium, ETH Zürich, Zürich. December 16, 2020.
Interrogative Games and Bounded Rationality. Asking and Answering Workshop, Universität Greifswald, Greifswald. September 19, 2020.
Proving Together : Shared Agency and Mathematical Proofs from a Planning Perspective. Symposium “To What Extent Is Mathematics a Social Practice ?”, ENPOSS 2020, Toulouse. September 17, 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 Démonstrations dans la Pratique Mathématique: Logique, Représentations, et Agentivité. École thématique CNRS « Mathé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 Mathématiques en Action », Archives Henri Poincaré, Nancy. April 5-6, 2018.

2017

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

2016

Poincaré et Prawitz sur l’Induction Mathématique. Seminar of the ANR Project MathObRe, Archives Henri Poincaré, 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, Poznań. 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.
Poincaré 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, Dü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, Poznań. 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.