Jujian Zhang: Towards a Formalisation of Sheaf Cohomology in Lean4

2024.09.06 10:00-11:00 南楼N202

鲁建教授: Some recent results on the Lp dual Minkowski problem

2024.09.06 10:00-11:00 思源楼S813

张科伟副教授: On the proof of the uniformization of Riemann surfaces

2024.09.06 10:00-11:00 腾讯会议：876-6294-1705

Riccardo Brasca: Formalising Mathematics in Lean（II）

2024.09.05 17:15-18:00 数学院南楼204

Filippo Nuccio: Formalising Mathematics in Lean（I） 

2024.09.05 16:30-17:15 数学院南楼204

谢俊逸: 算术动力系统简介

2024.09.04 15:30-17:00 南楼 N204 腾讯会议：226-384-057 密码：123456

Francisco Escudero Gutierrez: Influences of Fourier Completely Bounded Polynomials and Classical Simulation of Quantum Algorithms

2024.09.04 15:00-16:00  南楼 420

邹委员：Global well-posedness and optimal time decay rates of solutions to the Euler(-Poission)-Navier-Stokes system

2024.09.04 14:30-15:30 南楼613

Phan Thanh Nam: Correlation energy of Fermi gases

2024.09.04 14:00-15:00  南楼N913

王慰: An invitation to the topology of diffeomorphism groups of high dimensional manifolds 4

2024.09.04 10:30-11:30 南楼N820