A Conceptual Introduction to Homotopy Type Theory,  invited talk for the course on Philosophy of Mathematics, Department of Math, Sharif University, May 2024 (video, in Persian) (slides, in English)

Real Continuum in Synthetic Differential Geometry, talk at the math department, Sharif University, Feb 2023 (video, in Persian)