10月17-21日数学机械化重点实验室，北航数学系和美国北卡罗莱那州立大学数学系Symbolic Solutions Group，在美国北卡罗莱那州立大学举行了符号计算联合研讨会。该会议得到了中国和美国自然科学基金委员会的资助。中方参加人员包括：高小山、李子明、支丽红、冯如勇、王东明和五名研究生；美方参加人员包括：Michael Singer, Erich Kaltofen, Hoon Hong, Agnes Santos, Irina Kogan 和他们的研究生。会议重点讨论了微分差分方程求解、符号数值计算和几何约束求解等方面的前沿问题。并进行了深入的面对面讨论。下次联合研讨会订于2007年3月初在中国举行。