新  闻

• 2008年10月25日至11月6日，赵婷同学赴韩国高等研究院(KIAS)访问学习。
• 2008年9月1日，陈肖宇同学赴荷兰埃因霍温科技大学学习工作一年。
• 2008年8月30日，杨静同学赴美国北卡罗来纳州立大学访问学习一年半。
• 2008年7月7日至20日，牛薇和赵婷同学赴奥地利哈根伯格参加由 RISC 实验室举办的第三届符号计算讲习班。`
• 2008年7月，王东明教授被任命为《中国科学F辑：信息科学》常务副主编。
• 2008年5月，作为北航引智项目聘请专家，美国北卡罗来纳州立大学数学系 Hoon Hong 教授来我校进行为其三周的学术交流活动，并作了一系列学术报告。<相关新闻〉
• 2008年4月28日至30日，第一届符号计算与密码学国际会议(SCC 2008)在北京航空航天大学举行，由郑志明副校长担任大会主席，王东明教授担任大会程序委员会主席。<相关新闻〉
• 2008年3月，奥地利林茨大学(J. Kepler University Linz) Winkler Franz 教授作为北航引智项目聘请专家来校访问，并进行为期两周的学术交流活动。<相关新闻〉
• 2007年10月25日，赵婷同学作为北航和巴黎六大联合培养的博士生赴巴黎六大计算机科学实验室（LIP6）学习工作一年半。
• 2007年7月28日至8月1日，王东明教授赴加拿大滑铁卢参加 2007 International Symposium on Symbolic and Algebraic Computation (ISSAC 2007)，并担任大会主席。
• 2007年6月7日至7月7日，陈肖宇同学赴荷兰埃因霍温科技大学交流学习一个月。
• 2007年6月1日至3日，王东明教授、陈肖宇和邵莹同学赴厦门参加第五届软件基础亚洲研讨会，陈肖宇同学在会上作了学术报告。
• 2007年5月20日至6月2日，赵婷同学在美国北卡罗来那州立大学符号计算研究小组访问学习，并就中心与北卡州立大学的合作项目进行交流。
• 2007年4月11日，梁野同学作为北航和巴黎六大联合培养的博士生赴巴黎六大计算机科学实验室学习工作一年。
• 2007年3月5日至9日，王东明教授、梁铁林和赵婷同学赴杭州参加第二届中美符合计算联合研讨会，并分别在会上作了学术报告。
• 2006年11月21日至12月15日，梁野同学在法国巴黎六大计算机科学实验室交流学习。
• 2006年10月17日报道，教育部“数学、信息与行为重点实验室”与法国国家信息与自动化研究院(INRIA)共同组建了中法科研团队 Chinese-SALSA。〈相关新闻〉
• 2006年10月9日至14日，梁铁林同学赴成都参加数学机械化与教育研讨会，并在会上作了题为 Gool: Geometric-Object-Oriented Language 的学术报告。
• 2006年9月20日至22日，第八届国际人工智能与符号计算大会(AISC 2006)在北京航空航天大学举行。王东明教授担任大会主席，梁铁林同学在会上作了题为 Solving Dynamic Geometric Constraints Involving Inequalities 的学术报告。〈相关新闻〉
• 2006年9月，荷兰专家 Arjeh M. Cohen 和法国专家 Thérèse Hardin 应邀来北京航空航天大学作系列学术报告。
• 2006年8月31日至9月2日，王东明教授、陈肖宇同学赴西班牙 Vigo 大学参加第六届国际几何自动推理研讨会，在会上分别作了题为 Geometric Constraint Handling in Gool 和 Towards an Electronic Geometry Textbook 的学术报告。
• 2006年7月27日至8月4日，王东明教授、牛薇同学赴韩国高等研究院(KIAS)和日本京都大学数学科学研究所(RIMS)参加会议：KIAS-RIMS Joint Workshop on Computer Algebra（两地合办)。王东明教授作了题为 Gröbner Bases in Geometric Reasoning 和 Polynomial Elimination and Triangular Decomposition 的邀请报告，牛薇同学在学生组作了学术报告。会后（2006年8月5日至13日），牛薇同学赴日本东京立教大学（Rikkyo University）及东京大学参观访问，与富士通实验室（Fujitsu Laboratories Ltd.）和东京 Computational Biology Research Center (CBRC) 的有关科研人员进行了学术交流。

< 下一页 >