tbc

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

• Real Continuum in Synthetic Differential Geometry, talk at math department, Sharif university. (video, in Persian)