∞
π Σ ∫ ∂ Δ √
Δ
 
 

中心活动

概率统计

当前位置

Designing Typeclasses in Mathlib: Abstraction, Inference, and Reuse

2026-09-01 16:00:00 海韵园实验楼S102 赵雨扬（香港中文大学（深圳））

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

2026-09-01 15:00:00 海韵园实验楼S102 董安杰（香港中文大学（深圳））

Introduction to Lean

2026-09-01 14:00:00 海韵园实验楼S102 徐天一（北京国际数学研究中心）

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

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

Using AI for Research: From Prompts to Research Infrastructure

2026-08-25 16:30:00 海韵园行政楼C610 陈施喆（University of California, Davis）

Graph Learning: Algorithms and Applications

2026-07-19 10:30:00 海韵园行政楼C610 周川（中国科学院数学与系统科学研究院）

细胞演化和异质性的推断与建模

2026-07-19 09:30:00 海韵园行政楼C610 马亮（中国科学院动物研究所）

Analyze Time-to-event Data Using Survival Mixed Membership Blockmodel

2026-06-11 16:30 海韵园行政楼C503 宋方达（香港中文大学（深圳））

Optimal moral-hazard-free reinsurance under extended distortion premium principles

2026-05-27 15:30 海韵园实验楼S206 许左权（香港理工大学）

Random distortion risk measures

2026-05-27 14:00 海韵园实验楼S206 杨静平（北京大学）
首页上页12下页尾页