| 日 期 | 时 间 | 讲 员 | 题 目 |
| 7月15日 | 8:30- 9:30 | 吴文俊 | 从古代的中国数学到现代的数学机械化 |
| 9:40-12:00 | 侯晓荣 | 几何定理机器证明 | |
| 14:00-17:40 | 邓建松 | 几何造型中的代数计算 | |
| 7月16日 | 8:30- 9:30 | 杨 路 | 不等式机器证明的若干新进展 |
| 9:40-12:00 | 邓建松 | 几何造型中的代数计算 | |
| 14:00-17:40 | 侯晓荣 | 几何定理机器证明 | |
| 7月17日 | 8:30- 9:30 | 陈永川 | Abel引理与q-Gosper算法 |
| 9:40-12:00 | 李子明 | 计算机代数 | |
| 14:00-17:40 | 王东明 | 消去法 | |
| 7月18日 | 8:30-12:00 | 李子明 | 计算机代数 |
| 14:00-17:40 | 支丽红 | 符号与数值混合计算 | |
| 7月19日 | 8:30-10:50 | 夏壁灿 | 计算实代数几何 |
| 11:00-13:20 | 王东明 | 消去法 | |
| 7月20日 | 8:30- 9:30 | F.Rouillier | Some Efficient Tools for Solving Zero-dimensional Systems |
| 9:40-12:00 | 王明生 | 计算交换代数与代数几何 | |
| 14:00-17:40 | 夏壁灿 | 计算实代数几何 | |
| 7月21日 | 8:30- 9:30 | F.Rouillier | On Solving Parametric Systems |
| 9:40-12:00 | 支丽红 | 符号与数值混合计算 | |
| 14:00-17:40 | 李志斌 | 微分、积分和微分方程求解 | |
| 7月22日 | 8:30- 9:30 | K.Yokoyama | Efficiency of Modular Methods on Polynomial Algorithms |
| 9:40-12:00 | 李志斌 | 微分、积分和微分方程求解 | |
| 14:00-17:40 | 王明生 | 计算交换代数与代数几何 |