本次讲习班的基础课:《计算机代数》和《实代数》分别由李子明研究员和曾广兴教授讲授,他们都是活跃在符号计算领域的专家教授,深谙有关分支的发展和现状。中国科学院张景中院士、周巢尘院士、高小山研究员、李洪波研究员、杨路研究员、郁文生研究员、张健研究员,北京航空航天大学/法国科学研究中心王东明教授,美国新墨西哥大学/《自动推理》杂志前主编Deepak Kapur教授,加拿大安大略计算机代数研究中心Marc
Moreno Maza博士,东京理科大学 Yosuke Sato教授,德国凯瑟斯劳滕大学Oliver
Wienand博士等国内外著名专家学者将在讲习班上作专题学术演讲。
|