Talks
This is a list of some of my past and upcoming talks:
Invited talks
Rethinking intuition in constructive mathematics
Kansas State University, April 10, 2025The Curry-Church typing distinction from the constructive standpoint
Logic and Theory Group seminar, Institute of Computer Science, University of Bern, Bern, January 28, 2025Bishop's debt to Frege
NULFA-NULFIC Colloquium for Logic and Philosophy of Mathematics, online, November 27, 2024What are mathematical constructions? [slides]
Peking University logic seminar, Beijing, October 15, 2024Bishop's view of mathematical constructions
National University of Singapore philosophy seminar, Singapore, August 21, 2024Intuition in Bishop's constructive mathematics [website]
University of Milan, Lezioni Enriques seminari di Storia e Filosofia della matematica, Milan, Italy, February 9, 2024Should objects be intrinsically typed?
Padua-Zhejiang Workshop in Analytic Philosophy, University of Padua, Padua, Italy, February 5, 2024Untyped and typed evaluation in the meaning explanations [website]
Czech Academy of Sciences seminar of logic, Prague, Czech Republic, January 25, 2024Analytic and synthetic judgments in constructive semantics [website]
Fudan Conference on Mathematical Logic, Shanghai, China, August 14-17, 2023Mathematical intuition and the phenomenological turn in intuitionism
Contemporary Anglo-American Philosophy Workshop, Hangzhou, China, June 7, 2023What went wrong with Frege's theory of types? [slides]
Logicians in Quarantine, Online, March 11, 2021Frege's anticipation of simple type theory [slides]
OCIE HPML Group Seminars, Orange County–Inland Empire, USA (online), September 22, 2020Perspectives on the foundations of type theory [abstract]
Zhejiang University logic seminar, Hangzhou, China (online), August 7, 2020Logic and type theory, equality and proof
Fudan University, Shanghai, China, October 9-13, 2017On 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
Intuition in Bishop’s constructive mathematics [abstract]
Intuitionism in China 2024, Online, February 23, 2024The intuitionistic philosophy of Bishop’s constructivism [schedule]
17th Asian Logic Conference, Tianjin, China, October 9-13, 2023Bishop's mathematical intuitionism [schedule]
Logic Colloquium 2023, Milan, Italy, June 9, 2023Can propositions be intentions, intuitionistically? [schedule]
Logic Colloquium 2022, Reykjavik, Iceland, June 30, 2022Against the propositions-as-intentions interpretation [schedule]
Australasian Logic Conference, Online, June 24, 2022A Henkin-style completeness proof for the modal logic S5 [abstract]
CLAR 2021, Hangzhou, China, October 20-22, 2021How do we intuit mathematical constructions? [abstract | slides]
Logic Colloquium 2021, Poznań, Poland (online), July 19-24, 2021Informal cubical type theory [abstract | slides]
International Conference on Homotopy Type Theory, Pittsburgh, USA, Aug 12-17, 2019A Formalization of a Henkin-style Completeness Proof for Propositional Modal Logic in Lean [slides]
Lean Together 2019, Amsterdam, Netherlands, January 7-11, 2019A solution to Frege's puzzle in homotopy type theory [abstract]
Logic Colloquium 2017, Stockholm, Sweden, August 14-20, 2017Frege's puzzle and homotopy type theory [abstract]
15th Asian Logic Conference, Daejeon, South Korea, July 10-14, 2017Applications of homotopy type theory to Frege's puzzle [slides]
Chinese Mathematical Logic Conference 2017, Beijing, China, May 19-22, 2017A homotopy type-theoretic solution to Frege’s puzzle
Workshop on the Intersection between Logic, Mathematics, and Philosophy, Zhuhai, China, November 4-5, 2016What is not Frege's Julius Caesar Problem? [abstract]
4th World Congress on Universal Logic, Rio de Janeiro, Brazil, April 3-7, 2013