{"id":12,"date":"2017-11-07T11:35:31","date_gmt":"2017-11-07T11:35:31","guid":{"rendered":"http:\/\/www.markuspantsar.fi\/?page_id=12"},"modified":"2026-04-09T10:44:18","modified_gmt":"2026-04-09T08:44:18","slug":"talks","status":"publish","type":"page","link":"http:\/\/www.markuspantsar.fi\/?page_id=12","title":{"rendered":"Talks"},"content":{"rendered":"

Invited talks (58 in total):<\/strong><\/p>\n

    \n
  1. 16\/06\/2026\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cNo human in the loop: considering autonomous theorem proving AI systems\u201d, Workshop \u201cAI, Formalization and Mathematics\u201d, University of Bonn.<\/li>\n
  2. 11\/05\/2025\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cTowards an epistemology of artificial mathematical reasoning\u201d, PAIR Research Seminar, Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg.<\/li>\n
  3. 11\/03\/2026\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cTowards an Epistemology of Artificial Mathematical Reasoning\u201d, Minds and Intelligences Speaker Series, Macquarie University, Sydney.<\/li>\n
  4. 05\/03\/2026\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cTowards an Epistemology of Artificial Mathematical Reasoning\u201d, AGORA Talk, University of Wollongong.<\/li>\n
  5. 16\/12\/2025\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cTowards an Epistemology of Artificial Reasoning\u201d, Workshop \u201cReasoning in the Age of AI: Philosophical Perspectives\u201d, RWTH Aachen University.<\/li>\n
  6. 18\/06\/2025\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cIntroducing GICAT\u201d, Extended STS Workshop, K\u00e4te-Hamburger-Kolleg, RWTH Aachen University.<\/li>\n
  7. 26\/03\/2025\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cThe future of mathematicians, human and artificial”, Conference “Cultures of Research”, RWTH Aachen University.<\/li>\n
  8. 05\/03\/2025\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cRecognizing artificial mathematical intelligence in theorem proving”, Research Seminar, University of Sydney.<\/li>\n
  9. 28\/02\/2025\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 “The Future of Mathematical Research in the Age of Generative AI”, Workshop “Epistemic Agency in the Age of AI”, Macquarie University, Sydney.<\/li>\n
  10. 28\/11\/2024\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cMathematical research in the age of generative AI\u201d, Aachen-Darmstadt-Stuttgart Colloquium.<\/li>\n
  11. 12\/07\/2024\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cAgainst the time travel of social constructs\u201d, Aachen-Darmstadt-Stuttgart Colloquium, TU Darmstadt.<\/li>\n
  12. 22\/03\/2024\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cCommentary on Pii Telakivi: From Extended Cognition to Extended Consciousness\u201d, Expanding Minds Series, Macquarie University, Sydney.<\/li>\n
  13. 05\/03\/2024\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cThe cultural evolution of number concepts\u201d, Philosophy Seminar, Macquarie University, Sydney.<\/li>\n
  14. 28\/02\/2024\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cFrom numerical cognition to the epistemology of arithmetic \u2013 a pre-book launch talk\u201d, Expanding Minds Series, University of Wollongong.<\/li>\n
  15. 15\/01\/2024\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cArithmetic and proto-arithmetic: the need for clear conceptual distinctions in computational cognitive sciences\u201d, World Logic Day 2024, UFMG Belo Horizonte.<\/li>\n
  16. 14\/11\/2023\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cArithmetic and proto-arithmetic: the need for clear conceptual distinctions in computational cognitive sciences\u201d, Seminar talk at Warsaw University of Technology.<\/li>\n
  17. 08\/11\/2023\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cScaffolding as a useful notion in the cognitive sciences\u201d, Round table at the K\u00e4te Hamburger Kolleg \u201cCultures of Research, RWTH Aachen.<\/li>\n
  18. 30\/08\/2023\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cRecognising artificial mathematical intelligence\u201d, Infinity and Intensionality Seminar, University of Oslo.<\/li>\n
  19. 23\/06\/2023\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cArithmetic and proto-arithmetic: the need for clear conceptual distinctions in computational cognitive sciences\u201d, CSS-HLRS-Darmstadt Colloquium, RWTH Aachen.<\/li>\n
  20. 08\/06\/2023\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cHow numerical symbols shape arithmetical cognition\u201d, To the Symbols Themselves Conference, University of Cologne.<\/li>\n
  21. 27\/05\/2023\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cRecognising artificial mathematical intelligence\u201d, Munich Center for Mathematical Philosophy, LMU Munich.<\/li>\n
  22. 05\/05\/2023\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cRecognising artificial mathematical intelligence\u201d, Varieties of Science workshop, Bucharest.<\/li>\n
  23. 04\/05\/2023\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cArithmetic and proto-arithmetic: the need for clear conceptual distinctions in research on numerical cognition\u201d, University of Bucharest.<\/li>\n
  24. 21\/04\/2023\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cThe counting animal\u201d, Conference in Honor of Frederik Stjernfelt, Aalborg University, Copenhagen.<\/li>\n
  25. 27\/02\/2023\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cRecognising artificial mathematical intelligence\u201d, Philosophy Seminar, Macquarie University, Sydney.<\/li>\n
  26. 22\/12\/2022\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cRecognising artificial mathematical intelligence\u201d, CSS-HLRS Colloquium on Philosophy of Computational Sciences, RWTH Aachen.<\/li>\n
  27. 16\/03\/2022\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cTheorem proving in artificial neural networks\u201d, AiAgora talk, Technical University Delft.<\/li>\n
  28. 24\/01\/2022\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cReturn of the cicadas: Why the prime number nymphal stages are a paradigmatic case of mathematical explanation in science \u2013 if any\u201d, CSS-HLRS Colloquium on Philosophy of Computational Sciences, RWTH Aachen.<\/li>\n
  29. 19\/01\/2022\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cDeveloping artificial human-like arithmetical intelligence (and why)\u201d, Cultures of Research \u2013 Digitalization of Research Lecture Series, RWTH Aachen.<\/li>\n
  30. 03\/12\/2021\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cDescriptive Complexity, Computational Tractability, and the Logical and Cognitive Foundations of Mathematics\u201d, Seminar in logic and philosophy of mathematics, University of Helsinki.<\/li>\n
  31. 12\/11\/2021\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cMathematical objectivity\u201d, Philosophy of mathematics in Finland conference, Tampere. Keynote.<\/li>\n
  32. 23\/09\/2021\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cMathematical naturalism\u201d, Philosophy of mathematics lecture, University of Helsinki.<\/li>\n
  33. 11\/06\/2020\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cMathematical objectivity, without mathematical objects\u201d, Philosophy of Mathematics seminar, University of Pavia, Italy. Online due to COVID-19.<\/li>\n
  34. 02\/04\/2020\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cEarly numerical cognition and mathematical processes\u201d, Philosophy of Mathematical Cognition Seminar, Ruhr-Universit\u00e4t Bochum, Germany. Online due to COVID-19.<\/li>\n
  35. 06\/12\/2019\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cA Fresh Look at Research Strategies in Computational Cognitive Science: The Case of Enculturated Mathematical Problem Solving\u201d, Culture and Cognition Reading Group, Macquarie University, Sydney.<\/li>\n
  36. 03\/12\/2019\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cProto-arithmetic, number concept acquisition and mid-level cognition\u201d, Workshop on Mid-Level Cognition: Norms, Habits and Narrative, University of Wollongong, Australia.<\/li>\n
  37. 27\/11\/2019\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cObjectivity in Mathematics without Mathematical Objects\u201d, Macquarie University, Sydney.<\/li>\n
  38. 23\/05\/2019 \u00a0\u00a0\u00a0\u00a0\u00a0 \u201cFrom Computational to Cognitive Complexity: Considerations from Mathematical Problem Solving\u201d, Colloquium Philosophy Meets Cognitive Science, Ruhr University Bochum.<\/li>\n
  39. 06\/04\/2019 \u00a0\u00a0\u00a0\u00a0\u00a0 \u201cObjectivity without Objects\u201d, Ontology in arithmetic and logic workshop, UQAM, Montreal.<\/li>\n
  40. 03\/04\/2019 \u00a0\u00a0\u00a0\u00a0\u00a0 \u201cFrom Computational to Cognitive Complexity: Considerations from Mathematical Problem Solving\u201d, McGill University, Montreal.<\/li>\n
  41. 15\/05\/2018\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cComputational and Cognitive Complexity in Mathematical Problem Solving\u201d, Grolog colloquium, University of Groningen.<\/li>\n
  42. 14\/05\/2018\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cComputational and Cognitive Complexity in Mathematical Problem Solving\u201d, ILLC Talk, University of Amsterdam.<\/li>\n
  43. 26\/04\/2018\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cComputational and Cognitive Complexity in Mathematical Problem Solving\u201d, Munich Center for Mathematical Philosophy, LMU Munich.<\/li>\n
  44. 03\/11\/2017\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cCognitive Complexity and Mathematical Problem Solving\u201d, Seminar in Philosophy of Logic and Mathematics, Helsinki.<\/li>\n
  45. 24\/03\/2017\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cThe Cognitive Basis of Actual Infinity\u201d, Logic seminar at the Department of Philosophy, Helsinki.<\/li>\n
  46. 02\/02\/2017\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cProcesses, Metaphors and Numerical Cognition\u201d, Philosophy research seminar, Helsinki.<\/li>\n
  47. 30\/11\/2016\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cThe Cognitive Basis of Actual Infinity\u201d, Logic seminar at the Department of Mathematics and Statistics, Helsinki.<\/li>\n
  48. 08\/02\/2015\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cAn Empirically Feasible Approach to the Philosophy of Mathematics\u201d, University of California Irvine, C-ALPHA talk.<\/li>\n
  49. 30\/10\/2014\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cAn Empirically Feasible Approach to the Philosophy of Mathematics\u201d, University of Tampere research seminar.<\/li>\n
  50. 29\/08\/2014\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cOrigins of Numerical Cognition and the Epistemology of Arithmetic,\u201d ECAP2014, Bucharest.<\/li>\n
  51. 15\/06\/2013\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cEmpirically Feasible Epistemology of Arithmetic,\u201d Helsinki-Tartu Workshop in Theoretical Philosophy, University of Tartu.<\/li>\n
  52. 25\/06\/2012\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cEmpirically Feasible Epistemology of Arithmetic,\u201d Bucharest Colloquium for Analytic Philosophy, University of Bucharest.<\/li>\n
  53. 25\/01\/2012\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cEmpirical Research and the Philosophy of Mathematics,\u201d University of Bucharest.<\/li>\n
  54. 28\/05\/2011\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cArithmetical Truth since Frege,\u201d Frege Colloquium, University of Bucharest.<\/li>\n
  55. 03\/11\/2011\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cThe Empirical Study of Mathematical Knowledge,\u201d The Munich Center for Mathematical Philosophy.<\/li>\n
  56. 14\/02\/2011\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cEmpiricism and the Philosophy of Mathematics,\u201d The Philosophy of Science Seminar, University of Helsinki.<\/li>\n
  57. 20\/10\/2010\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cWhat Can We Deduce from G\u00f6del\u2019s Incompleteness Theorems in Philosophy?,\u201d The Philosophical Society of Finland.<\/li>\n
  58. 27\/04\/2009\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cTruth, Proof and G\u00f6delian Arguments,\u201d Public examination of Doctoral Dissertation, University of Helsinki.<\/li>\n<\/ol>\n

    Peer-reviewed contributed talks to conferences and workshops (37 in total):<\/strong><\/p>\n

      \n
    1. 05\/09\/2025\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cCan AI help us understand numerical cognition and arithmetical knowledge?\u201d, European Society for Philosophy and Psychology Conference, Warsaw.<\/li>\n
    2. 01\/09\/2025\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cReliable theorem-proving AI for mathematical research\u201d, RETRAI 2025, Valencia.<\/li>\n
    3. 07\/04\/2025\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cThe need for ethical guidelines in mathematical research in the time of generative AI\u201d, Workshop on Theorem Proving and Machine Learning, Heriot-Watt University, Edinburgh.<\/li>\n
    4. 12\/11\/2024\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cLogical foundations of science in the age of generative AI\u201d, workshop \u201cLogic and the Philosophy of Science\u201d, RWTH Aachen<\/li>\n
    5. 28\/09\/2024\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cPeirce\u2019s philosophy of notations and the trade-offs in numeral symbol systems\u201d, Diagrams24, M\u00fcnster.<\/li>\n
    6. 19\/09\/2024\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cTheorem proving with and by AI\u201d, Conference \u201cThe era of artificial intelligence and the merging of human and machine\u201d, University of Sassari, Alghero.<\/li>\n
    7. 16\/05\/2024\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cFrom numerical cognition to epistemology of arithmetic\u201d, Workshop \u201cEpistemology of Arithmetic: New Philosophy for New Times\u201d, RWTH Aachen University.<\/li>\n
    8. 22\/07\/2022\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cOn radical enactivist accounts of arithmetical cognition\u201d, 3rd Joint Meeting of the Society for Philosophy and Psychology (SPP) and the European Society for Philosophy and Psychology (ESPP), Milan.<\/li>\n
    9. 15\/06\/2022\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cHow numerical symbols shape arithmetical cognition\u201d, The 4th<\/sup> Conference of the International Association for Cognitive Semiotics, Aachen.<\/li>\n
    10. 02\/02\/2022\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cTheorem proving in deep artificial neural networks\u201d, Workshop: Explainable AI and explanations in AI, RWTH Aachen.<\/li>\n
    11. 25\/08\/2020\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cThe Feedback Loops Linking Mathematical Practices and Cognitive Tools: Considerations on Cognitive Innovation\u201d, ECAP10, Utrecht, The Netherlands. With Regina E. Fabry. Cancelled due to COVID-19.<\/li>\n
    12. 23\/09\/2019\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cThe Interplay of Biological and Cultural Components in the Acquisition of Natural Number Concepts\u201d, Mind: Coevolution of Biology and Culture, Cres, Croatia.<\/li>\n
    13. 03\/09\/2019\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cA Fresh Look at Research Strategies in Computational Cognitive Science: The Case of Enculturated Mathematical Problem Solving\u201d, EuroCogSci 2019, Ruhr-Universit\u00e4t Bochum (with Regina Fabry).<\/li>\n
    14. 06\/08\/2019\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cComplexity of Mathematical Cognitive Tasks\u201d, 16th International Congress of Logic, Methodology and Philosophy of Science and Technology, University of Prague.<\/li>\n
    15. 22\/05\/2019\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cCognitive and computational complexity in mathematical problem solving\u201d, Simplicities and Complexities, University of Bonn.<\/li>\n
    16. 29\/03\/2019\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cHow Cognitive Tools Transform our Cognitive Capacities in Mathematical Problem Solving (and Beyond): Cumulative Cultural Evolution and Enculturation\u201d, Retuning Cognition with a Pair of Rocks, University of Pittsburgh.<\/li>\n
    17. 30\/10\/2018\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cThe Cognitive Role of Embodied Symbol Manipulation in Mathematical Problem Solving\u201d, Getting Real About Words And Numbers, Antwerp (with Regina Fabry).<\/li>\n
    18. 11\/06\/2018\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cOf Levels, Competence, and Performance: Towards an Explanation of Enculturated Mathematical Problem Solving\u201d, Models of Explanation, Turin (with Regina Fabry).<\/li>\n
    19. 05\/11\/2017\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cCognitive Complexity and Mathematical Problem Solving\u201d, Ninth French Philosophy of Mathematics Workshop, Nancy.<\/li>\n
    20. 11\/10\/2017\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cCognitive Complexity and Mathematical Problem Solving\u201d, Third International Conference on Philosophy of Mind, Braga.<\/li>\n
    21. 22\/09\/2017\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cCognitive Complexity and Mathematical Problem Solving\u201d, Fourth Philosophy of Language and Mind conference, Bochum.<\/li>\n
    22. 22\/08\/2017\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cWhat is Arithmetic\u201d, Ninth European Conference of Analytic Philosophy, Munich.<\/li>\n
    23. 19\/09\/2016\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cEarly Numerical Cognition and Mathematical Processes\u201d, Workshop: From basic cognition to mathematical practice, Seville.<\/li>\n
    24. 11\/08\/2016\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cMathematical Cognition as Enculturation\u201d, European Society for Philosophy and Psychology, St. Andrews.<\/li>\n
    25. 10\/12\/2015\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cNumber-cognition: Bootstrapping of the Exact Number Concepts\u201d, Symposium of Cognition, Logic and Communication, Riga.<\/li>\n
    26. 03\/11\/2016\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cMetaphorical Thinking in Mathematics\u201d, APMP Colloquium, Paris.<\/li>\n
    27. 05\/08\/2015\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cFrom Proto-arithmetical to Arithmetical: the Four Roles Language Plays in the Development of Arithmetical Thinking\u201d, CLMPS, Helsinki<\/li>\n
    28. 01\/06\/2014\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cEmpirically Feasible Epistemology of Arithmetic,\u201d Philosophy of mathematics: objectivity, cognition, and proof, Milan.<\/li>\n
    29. 11\/04\/2014\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cThe Great Gibberish: Mathematics in Western Popular Culture,\u201d Mathematical Cultures 3, London.<\/li>\n
    30. 20\/09\/2013\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cIn Search of Aleph-null \u2013 How Infinity Can Be Created,\u201d Foundations of the Formal Sciences VIII: History and Philosophy of Infinity, Cambridge.<\/li>\n
    31. 10\/11\/2012\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cFoundational Matters in Higher Mathematics Education,\u201d Cultures of Mathematics and Logic, Sun Yat-Sen University, Guangzhou.<\/li>\n
    32. 23\/03\/2011\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cCommentary on Hannes Leitgeb: \u2018A Theory of Truth for Propositions,\u2019\u201d Truth Be Told Workshop, Amsterdam.<\/li>\n
    33. 10\/01\/2011\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cAt What Stage Does Mathematical Understanding Arise?,\u201d Colloquium of The Philosophical Society of Finland, Turku.<\/li>\n
    34. 04\/06\/2010\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cPerspectives to Empirical Philosophy of Mathematics,\u201d XXVI Varna International Philosophical School, Sofia.<\/li>\n
    35. 18\/03\/2010\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cEpistemic Actions,\u201d Seminar of Logic, Helsinki, March 2010.<\/li>\n
    36. 12\/03\/2008\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cThe Meaning of Logical Connectives,\u201d Post-graduate Seminar, Helsinki.<\/li>\n
    37. 06\/11\/2007\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cTruth and Proof,\u201d Post-graduate Seminar, Helsinki.<\/li>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"

      Invited talks (58 in total): 16\/06\/2026\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cNo human in the loop: considering autonomous theorem proving AI systems\u201d, Workshop \u201cAI, Formalization and Mathematics\u201d, University of Bonn. 11\/05\/2025\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cTowards an epistemology of artificial mathematical reasoning\u201d, PAIR Research Seminar, Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg. 11\/03\/2026\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u201cTowards an Epistemology of Artificial Mathematical Reasoning\u201d, Minds and Intelligences Speaker Series, Macquarie University, Sydney. 05\/03\/2026\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0<\/p>\n

      Continue Reading…<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":5,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-12","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"http:\/\/www.markuspantsar.fi\/index.php?rest_route=\/wp\/v2\/pages\/12","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.markuspantsar.fi\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/www.markuspantsar.fi\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/www.markuspantsar.fi\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.markuspantsar.fi\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=12"}],"version-history":[{"count":20,"href":"http:\/\/www.markuspantsar.fi\/index.php?rest_route=\/wp\/v2\/pages\/12\/revisions"}],"predecessor-version":[{"id":274,"href":"http:\/\/www.markuspantsar.fi\/index.php?rest_route=\/wp\/v2\/pages\/12\/revisions\/274"}],"wp:attachment":[{"href":"http:\/\/www.markuspantsar.fi\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=12"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}