V
主页
同伦类型论讨论班 (HoTTEST), UWO
发布人
youtube.com Homotopy Type Theory Electronic Seminar Talks is a series of research talks by leading experts in Homotopy Type Theory. The seminar is open to all, although familiarity with Homotopy Type Theory will be assumed.
打开封面
下载高清视频
观看高清视频
视频下载器
局部朗兰兹对应的几何化: 相对偏屈度 (Perversity), David Hansen, Peter Scholze, 波恩大学
哈密顿几何与量子化研讨会, 菲尔兹数学科学研究所, 2024
Uri Bader (WIS): 遍历作用的代数表示, 法国高等科学研究所, 2021
集合论讨论班, KGRC, 维也纳大学, 2023-2024
美国亚利桑那大学算术几何西南中心杰出讲座系列, 2002, 2004, 2005
讨论班: 函子微积分与色同伦方法, 豪斯多夫数学研究所 (HIM)
讨论班: 格罗滕迪克式的读本, 法国巴黎高等师范学校 (ENS Paris), 2017-2018
荆一凡 (Oxford): SO(3,R) 中小集合自乘积的测度, IAS, 2023
递归论及其应用, 加拿大班夫国际研究所, 2023
密歇根大学逻辑讨论班, 2010-2012
棱镜晶体与晶体伽罗瓦表示, 彼得·舒尔茨, 马克斯·普朗克数学研究所
女性数学家之间的通讯: 高阶范畴与范畴化
同伦理论主题学校, 里尔第一大学保罗·潘勒韦实验室 (Laboratoire Paul Painlevé, Université de Lille 1)
数论, UCSD, 2021
爱因斯坦首席数学讨论班, 纽约市立大学 (CUNY), 1981-1988
Alex Furman: 遍历论简介. Minerva 暑期学校: 齐性空间上的流, 以色列理工学院 (Technion, Haifa), 2012
Miel Sharf (KTH): 线性群与遍历论课程导读, 华沙大学, 2014
集论拓扑, 加拿大班夫国际研究所, 2023
热点话题: 三维流形中的切触结构, 动力学与塞伯格-威滕方程, 美国国家数学科学研究所
等变与 motivic 同伦论, 孔嘉, IAS, 2021
几何表示论与几何 Satake 等价, Geordie Williamson, 澳大利亚悉尼数学研究所 (SMRI), 悉尼大学, 2020
辛几何, 泊松几何与代数, 分析, 拓扑的交互, 美国国家数学科学研究所
爱因斯坦首席数学讨论班, 纽约市立大学 (CUNY), 2004-2015
讨论班: 现代 p-进几何的最近进展 (RAMpAGe), 2020-2022
动形 (Motive, 原相), 及诸此类, 2020
吴宝珠: 自守 L-函数的函数方程, 法兰西公学院, 2022
2022年菲尔兹奖章年会: 致敬 Akshay Venkatesh (Fields Medal 2018), 菲尔兹数学科学研究所, 2022
系列讨论班: 数学中的基础概念, ICTP
代数 II, 佐治亚理工学院 (Georgia Tech), 2021
专题项目 (II): 随机性与几何, 菲尔兹数学科学研究所, 2024
亚利桑那冬季学校 (AWS), 美国亚利桑那大学算术几何西南中心, 2003-2006
2023年菲尔兹奖章年会: 致敬 Caucher Birkar, 菲尔兹数学科学研究所, 2023
Bhargav Bhatt, 什么是 p-进霍奇理论, 西蒙斯讲座系列, MIT, 2022
代数讨论班: 莫德尔猜想, Jared Weinstein, Spring 2021
数学哲学讲座, Joel D. Hamkins
调和分析与解析数论, 豪斯多夫数学研究所 (HIM), 2021
逻辑座谈会, 库尔特·哥德尔数理逻辑研究中心 (KGRC), 维也纳大学, 2022-2024
集合论: 可构造宇宙, 菲利普·韦尔奇, 布里斯托大学, 2020-2021
与数学家的访谈: 数学与生活之间的平衡
描述集合论, Rodrigo Gutiérrez, 墨西哥大都会自治大学, 伊斯塔帕拉帕 (UAM-I), 2020