| 日 期 | 时 间 | 讲 员
| 题 目 |
| 7月14日 | 8:30- 9:30 | H.Hong | Survey
on Symbolic Computation |
| 10:00-12:00 | 王东明 | 计算机代数 |
| 14:00-17:30 | 陈发来 | 曲面造型中的代数方法 |
| 7月15日 | 8:30-12:00 | 夏壁灿 | 计算机代数 |
| 14:00-15:00 | H.Hong | Survey on Computer Algebra
for Composed Polynomials |
| 15:20-17:30 | 陈发来 | 曲面造型中的代数方法 |
| 7月16日 | 8:30- 9:30 | 林东岱 | 符号计算与密码学 |
| 9:50-12:00 | 王东明 | 消去法 |
| 14:00-17:30 | 侯晓荣 | 几何定理机器证明 |
| 7月17日 | 8:30-12:00 | 夏壁灿 | 计算实代数几何 |
| 14:00-15:00 | 李洪波 | Bracket Algebra and
Its Generalizations |
| 15:20-17:30 | 侯晓荣 | 几何定理机器证明 |
| 7月18日 | 8:30- 9:30 | 刘卓军 | 纠错码理论的概念、方法和一些问题 |
| 9:50-12:00 | 杨 路 | 计算实代数几何 |
| 14:00-17:30 | 王东明 | 消去法 |
| 7月19日 | 8:30- 9:30 | 杨 路 | 距离几何及其应用 |
| 9:50-12:00 | 支丽红 | 混合计算 |
| 14:00-17:30 | 李志斌 | 计算机分析 |
| 7月20日 | 8:30- 9:30 | 郑志明 | 三次系统有8个极限环的充要条件 |
| 9:50-12:00 | 李志斌 | 计算机分析 |
| 14:00-17:30 | 支丽红 | 混合计算 |