10月31日   星期四
14:00–14:20

赵纪满(北京师范大学)

Multilinear and multiparameter spectral multipliers on stratified groups (Abstract)

14:20–14:40

朱永贵(中国传媒大学)

Spherical Function Regularization for Parallel MRI Reconstruction (Abstract)

14:40–15:00

郑大彬(湖北大学)

Constructions of involutions over finite fields (Abstract)

15:00–15:20

张宁(中央财经大学)

金融中的人工智能:理论与应用的若干问题 (Abstract)

15:20–15:50 茶歇
15:50–16:10

周城雄(中国科学院科技战略咨询研究院)

基础研究与创新创业 (Abstract)

16:10–16:40

林东岱(中国科学院信息工程研究所)

密码技术前沿应用与发展趋势 (Abstract)

16:40–17:00

李楠(深圳大学)

Geometry and Mesh Paramerization in Natural Image Stitching (Abstract)

17:00–20:00 晚餐
11月1日   星期五
14:00–14:30

段海豹(中国科学院数学与系统科学研究院)

The multi-degree of coverings on Lie groups (Abstract)

14:30–15:00

孙笑涛(天津大学)

A Miyaoka-Yau type inequality of surfaces in characteristic p>0 (Abstract)

15:00–15:30

胡森(中国科学技术大学)

On mathematical construction of quantum field theories: Feynman Geometries (Abstract)

15:30–16:00 茶歇
16:00–16:30

唐梓洲(南开大学)

Isoparametric Polynomials and sums of Squares (Abstract)

16:30–17:00

苗长兴(北京应用物理与计算数学研究所)

Decoupling方法及其在数论、PDE、几何测度论中的应用 (Abstract)

17:00–20:00 晚餐
11月2日   星期六
09:00–09:20

唐春明(广州大学)

实用安全多方计算的构造 (Abstract)

09:20–09:40

杨争峰(华东师范大学)

Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming (Abstract)

09:40–10:00

冯如勇(中国科学院数学与系统科学研究院)

Telescopers for Differential Forms with one parameter (Abstract)

10:00–10:30 茶歇
10:30–10:50

程进三(中国科学院数学与系统科学研究院)

Real Root Isolation of Bivariate Real Analytic Functions (Abstract)

10:50–11:10

贾晓红(中国科学院数学与系统科学研究院)

符号计算在碰撞检测相关问题中的应用 (Abstract)

11:10–11:30

陈绍示(中国科学院数学与系统科学研究院)

Gosper's Algorithm and Its Multivariate Extensions (Abstract)

11:30–13:00 午餐
Organized by

Key Laboratory of Mathematics Mechanization

Sponsored by

Hua Loo-Keng Centre for Mathematical Sciences


Academy of Mathematics and Systems Science


Key Laboratory of Mathematics Mechanization