Talks

This is a list of some of my past and upcoming talks:

Invited talks

• Type theory as a transcendental science
  Chinese Conference on Philosophy of Mathematics, Nankai University, October 9-11, 2026

• TBD
  Logic seminar, Tsinghua University, October 8, 2026

• Logic in the foundations of mathematics with applications to physics
  University of Geneva, Group of Applied Physics, February 16, 2026

• Frege's logic in Grundgesetze is non-classical [abstract]
  AIPS 2025, International Academy for Philosophy of Science Conference, Hangzhou, October 28, 2025
  Keynote speaker

• Curry–Church typing in constructive semantics [slides]
  Institute of Logic and Cognition, Sun Yat-sen University, Guangzhou, April 11, 2025

• Rethinking intuition in constructive mathematics [slides]
  Kansas State University logic seminar, April 10, 2025

• The Curry–Church typing distinction from the constructive standpoint [slides]
  Logic and Theory Group seminar, Institute of Computer Science, University of Bern, Bern, January 28, 2025

• Bishop's debt to Frege
  NULFA-NULFIC Colloquium for Logic and Philosophy of Mathematics, online, November 27, 2024

• What are mathematical constructions? [slides]
  Peking University logic seminar, Beijing, October 15, 2024

• Bishop's view of mathematical constructions
  National University of Singapore philosophy seminar, Singapore, August 21, 2024

• Intuition in Bishop's constructive mathematics [website]
  University of Milan, Lezioni Enriques seminari di Storia e Filosofia della matematica, Milan, Italy, February 9, 2024

• Should objects be intrinsically typed?
  Padua-Zhejiang Workshop in Analytic Philosophy, University of Padua, Padua, Italy, February 5, 2024

• Untyped and typed evaluation in the meaning explanations  [website]
  Czech Academy of Sciences seminar of logic, Prague, Czech Republic, January 25, 2024

• Analytic and synthetic judgments in constructive semantics [website]
  Fudan Conference on Mathematical Logic, Shanghai, China, August 14-17, 2023

• Mathematical intuition and the phenomenological turn in intuitionism
  Contemporary Anglo-American Philosophy Workshop, Hangzhou, China, June 7, 2023

• What went wrong with Frege's theory of types? [slides]
  Logicians in Quarantine, Online, March 11, 2021

• Frege's anticipation of simple type theory [slides]
  OCIE HPML Group Seminars, Orange County–Inland Empire, USA (online), September 22, 2020

• Perspectives on the foundations of type theory [abstract]
  Zhejiang University logic seminar, Hangzhou, China (online), August 7, 2020

• Logic and type theory, equality and proof
  Fudan University, Shanghai, China, October 9-13, 2017

• On different ways of being the same: a constructive approach to Frege's puzzle [abstract]
  Lingnan University philosophy seminar, Tuen Mun, Hong Kong, March 27, 2017

Contributed talks

• What is intuitionistic logic with actuality?
  The 8th Asian Workshop on Philosophical Logic (AWPL 2026), Chongqing, 6-8 April, 2026

• Intuition in Bishop’s constructive mathematics [abstract]
  Intuitionism in China 2024, Online, February 23, 2024

• The intuitionistic philosophy of Bishop’s constructivism [schedule]
  17th Asian Logic Conference, Tianjin, China, October 9-13, 2023 

• Bishop's mathematical intuitionism [schedule]
  Logic Colloquium 2023, Milan, Italy, June 9, 2023 

• Can propositions be intentions, intuitionistically? [schedule]
  Logic Colloquium 2022, Reykjavik, Iceland, June 30, 2022 

• Against the propositions-as-intentions interpretation [schedule]
  Australasian Logic Conference, Online, June 24, 2022

• A Henkin-style completeness proof for the modal logic S5 [abstract]
  CLAR 2021, Hangzhou, China, October 20-22, 2021

• How do we intuit mathematical constructions? [abstract | slides]
  Logic Colloquium 2021, Poznań, Poland (online), July 19-24, 2021

• Informal cubical type theory [abstract | slides]
  International Conference on Homotopy Type Theory, Pittsburgh, USA, Aug 12-17, 2019

• A Formalization of a Henkin-style Completeness Proof for Propositional Modal Logic in Lean [slides]
  Lean Together 2019, Amsterdam, Netherlands, January 7-11, 2019

• A solution to Frege's puzzle in homotopy type theory [abstract]
  Logic Colloquium 2017, Stockholm, Sweden, August 14-20, 2017

• Frege's puzzle and homotopy type theory [abstract]
  15th Asian Logic Conference, Daejeon, South Korea, July 10-14, 2017

• Applications of homotopy type theory to Frege's puzzle [slides]
  Chinese Mathematical Logic Conference 2017, Beijing, China, May 19-22, 2017

• A homotopy type-theoretic solution to Frege’s puzzle
  Workshop on the Intersection between Logic, Mathematics, and Philosophy, Zhuhai, China, November 4-5, 2016

• What is not Frege's Julius Caesar Problem? [abstract]
  4th World Congress on Universal Logic, Rio de Janeiro, Brazil, April 3-7, 2013