Talks, slides and lecture notes

• Z. Luo. Type theories as foundational languages. Invited talk at the 2024 Conference on Philosophy of Mathematics in China, Shanxi University (hybrid), August 2024. [slides available]
• Z. Luo. Common Nouns as Types: Higher Inductive Types in Type-Theoretical Semantics. Invited talk at Logic Colloquium 2024, Gothenburg, Sweden. June 2024. [slides available]
• Z. Luo. Modern Type Theories and Their Applications. Two online seminars organised by Wuhan University and University of Hong Kong. May 2024. [slides available: Wuhan and Hong Kong]
• Z. Luo. Advanced Topics in Formal Semantics Based on Modern Type Theories. Advanced course at ESSLLI 2023. Ljubljana, Slovenia. August 2023. [Lecture slides: All lectures with references; Lecture I; Lecture II; Lecture III; Lecture IV; Lecture V; References]
• Z. Luo. Modern Type Theories and Linguistic Semantics. Inter. Workshop on Type-Theoretical Semantics, West Anhui University (online). June 2022.
• Z. Luo. Universes in Type-Theoretical Semantics. Invited talk at Logic and Algorithms in Computational Linguistics 2021 (LACompLing21). Montpellier (online), Dec. 2021. (Also available: LACompLing21 slides)
• Z. Luo. Modern Types Theories, MTT-semantics and Donkey Anaphora. Talk at Workshop on New Frontiers in Proofs and Computation. IASM-BIRS, Hangzhou (online). Sept 2021. (Related but shorter talks on donkey anaphora were given at LACL21 in Dec 2021 and ESSLLI workshop CSTFRS2021 in July 2021.)
• Z. Luo. Formal Semantics in Modern Type Theories: An Overview. Invited talk at LACompLing 2018, Stockholm, Sweden and also for the Third Conference on Proof-Theoretic Semantics (PTS19) at Tubingen (and TYPES 2018 at Braga). (Also available: LACompLing18 slides and PTS19 slides)
• S. Chatzikyriakidis and Z. Luo. From Montague Semantics to Modern Type Theories: A Meaningful Comparison. Advanced Course in Language & Logic at ESSLLI 2019. Riga, Latvia. 2019. [Lecture slides available]
• Z. Luo. Modern Type Theories for Natural Language Semantics. Introductory course at ESSLLI 2017, Toulouse, France. July 2017. [Lecture slides available]
• Z. Luo. MTT-semantics is both model-theoretic and proof-theoretic. Slides for talks based on an invited talk at LACL14, given in several places including a workshop at Kent in June 2016.
• S. Chatzikyriakidis and Z. Luo. Formal Semantics in Modern Type Theories: Theory and Implementation. Advanced course at ESSLLI 2014, Tubingen, Germany. August 2014. [Lecture slides available]
• Z. Luo. Notes on Universes in Type Theory. Lecture notes for a talk at Institute for Advanced Study, Princeton. 2012.
• Z. Luo. Notes and slides at ESSLLI 2011, Ljubljana, Slovenia (for a course on Lexical Semantics, taught together with Prof Nicholas Asher).
• Z. Luo. Lectures on Type Theory, Tsinghua University, April 2011.
• Z. Luo. Lego and related work. Lecture notes for the TYPES Summer School: Theory and Practice of Formal Proofs, France, 1999.