Talks
This is a list of some of my past and upcoming talks:
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
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
Invited talks
TBD
Chinese Annual Conference in Philosophy of Mathematics, Shanxi, China, August 12-13, 2024Intuition in Bishop's constructive mathematics [website]
Lezioni Enriques, Seminari di Storia e Filosofia della matematica, University of Milan, Milan, Italy, February 9, 2024Should objects be intrinsically typed?
Padua-Zhejiang Workshop in Analytic Philosophy, Padua, Italy, February 5, 2024Untyped and typed evaluation in the meaning explanations [website]
Seminar of Logic, Institute of Philosophy, Czech Academy of Sciences, 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]
Xixi Logic Seminars, Zhejiang University, Hangzhou, China (online), August 7, 2020Logic and type theory, equality and proof
Department of Philosophy, Fudan University, Shanghai, China, October 9-13, 2017On different ways of being the same: a constructive approach to Frege's puzzle [abstract]
Philosophy Seminar, Lingnan University, Tuen Mun, Hong Kong, March 27, 2017