07-13—07-17 | 短期课程

2026年国家天元数学东南中心高校青年教师暑期培训班通知

  卢玉峰（大连理工大学）、林亚南（...
  南昌航空大学数学与信息科学学院

07-12—07-18 | 短期课程

短课程“正特征代数几何选讲” 招生简章

  张磊（中国科学技术大学）、顾怡（...
  海韵园实验楼S105

06-21—06-28 | 短期课程

Summer School on Differential Geometry

  Nick Edelen (Uni...
  海韵园实验楼S103

05-18—05-28 | 短期课程

离散数学短课程招生简章

  
  海韵园实验楼S103、S105

04-25—04-30 | 短期课程

“Mini-course on topological adelic curves” 招生简章

  Antoine Sédillo...
  海韵园实验楼S205

04-19—04-25 | 短期课程

短课程“数量曲率：从高斯-博内到K(π,1)猜想及其推广” 招生简章

  朱锦天（西湖大学）
  厦门大学海韵园实验楼S306

03-12—03-17 | 短期课程

短课程：q-Whittaker functions and affine crystals

  Travis Scrimshaw...
  海韵园实验楼S207

03-11—03-17 | 短期课程

“An introduction to representations of hereditary algebras” 短课程招生简章

  Henning Krause（德...
  海韵园实验楼S204

16:00  |  学术报告

Designing Typeclasses in Mathlib: Abstraction, Inference, and Reuse

  赵雨扬（香港中文大学（深圳））
  海韵园实验楼S102

15:00  |  学术报告

Type Theory and the Formalization of Mathematics: When Does Equality Compute?

  董安杰（香港中文大学（深圳））
  海韵园实验楼S102

14:00  |  学术报告

Introduction to Lean

  徐天一（北京国际数学研究中心）
  海韵园实验楼S102

10:30  |  学术报告

Restriction Estimates and Applications to Number Theory

  孙宇宸（University of Bristo...
  海韵园实验楼S106

10:00  |  学术报告

AI 辅助数学科研和教学的一点实践分享

  马家骏（厦门大学）
  海韵园实验楼S103 & 腾讯会议ID: 897-528-319

16:30  |  学术报告

Using AI for Research: From Prompts to Research Infrastructure

  陈施喆（University of Califo...
  海韵园行政楼C610

15:30  |  学术报告

Seminars on Numerical Algorithms, Analyses, and Applications: Multiscale model reduction based on locally optimal spectral approximations for heterogeneous wave equations

  马楚鹏（大湾区大学）
  海韵园行政楼C503

11:00  |  学术报告

Seminar on Discrete Mathematics: Partial-duals for plane hypermaps

  颜棋（兰州大学）
  海韵园行政楼C610