BIMSA-YMSC Number Theory Lunch SeminarThis is an in-person seminar at BIMSA over lunch, aimed to promote communications in the Number Theory teams at BIMSA and YMSC. Each talk is 45 minutes long and does not focus on research results. Instead, we encourage each speaker to discuss either (1) a basic notion in Number Theory or related fields or (2) applications or computational aspects of Number ...
AbstractWe will discuss how the notion of "schemes" in algebraic geometry can beformalized in the Lean theorem proverSpeaker IntroYong Suk Moon joined BlMSA in 2022 fall as an assistant professor. His research area is numbertheory and arithmetic geometry. More specifically, his current research focuses on p-adic Hodgetheory, Fontaine-Mazur conjecture, and p-adic Langlands program. He completed ...
E-mail：qzsy@tsinghua.edu.cn
Address：Qiuzhen College, Tsinghua University, Haidian District, Beijing
© 2024 Tsinghua University. All Rights Reserved 京ICP备15006448号 京公网安备 110402430053 号
