时间：2021年11月26日上午8:00-11:30

腾讯会议ID：913 597 392

日程安排：

8:00-8:10 张纪峰（中国科学院数学与系统科学研究院）宣布会议开始

8:10-9:00 主持人：刘志新（中国科学院数学与系统科学研究院）

王小云，中国科学院院院士，清华大学

报告题目：格密码研究进展

9:00-9:50 主持人：支丽红（中国科学院数学与系统科学研究院）

夏壁灿，教授，北京大学

报告题目：不等式机器证明与自动发现

9:50-10:40 主持人：杨翠红（中国科学院数学与系统科学研究院）

洪永淼，发展中国家科学院(TWAS)院士，中国科学院数学与系统科学研究院

报告题目：Consistent Testing for Structural Changes via Discrete Fourier Transform

10:40-11:30 主持人：李启寨（中国科学院数学与系统科学研究院）

杨立坚，教授，清华大学

报告题目：Statistical inference for functional time series: autocovariance function

来源：中国科学院系统科学研究所