- 2010年10月至2011年10月，黄艳丽同学获得国家建设高水平大学公派研究生（联合培养博士生）项目奖学金，赴奥地利林茨约翰·开普勒大学符号计算研究所学习。
- 2010年9月23日至26日，王东明教授赴罗马尼亚参加第12届科学计算的符号与数值算法国际研讨会（SYNASC 2010），并担任符号计算分会联合主席。
- 2010年7月22日至24日，陈肖宇同学赴德国慕尼黑参加第8届国际几何学自动推理研讨会（ADG 2010），并在会上作了题为 Formal Representation and Automated Transformation of Geometric Statements 的学术报告。
- 2010年7月19日，牛薇同学赴法国参加第一届代数系统的准确、可信计算会议（EXACTA），并在会上作了题为 Qualitative Analysis of Biological Systems Using Algebraic Methods 的学术报告。
- 2010年7月，陈肖宇同学应 Franz Winkler 教授邀请赴奥地利林茨约翰 · 开普勒大学交流学习，并作题为 Formalization and Management of Geometric Knowledge 的学术报告。
- 2010年7月8日至9日，陈肖宇同学赴法国参加第9届国际数学知识管理会议（MKM 2010），并在会上作了题为 Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System 的学术报告。
- 2010年7月5日至6日，王东明教授赴法国巴黎参加第10届人工智能与符号计算国际会议（AISC 2010）。
- 2010年6月30日至7月2日，牛薇同学赴斯洛文尼亚马里博尔参加符号计算及其应用会议（SCA 2010），并在会上作了题为 Algebraic Analysis of Stability, Bifurcation and Limit Cycles for Biological Models 的学术报告。
- 2010年5月14日至16日，第7届亚洲软件基础研讨会（AWFS 2010）在北京航空航天大学软件开发环境国家重点实验室举行。王东明教授参加了研讨会。
- 2010年5月，李晓亮同学应 Kazuhiro Yokoyama 教授邀请访问日本东京立教大学，并作题为 Simple Decomposition over Finite Fields 的学术报告。
- 2010年5月，黄艳丽同学应邀赴奥地利林茨约翰·开普勒大学交流学习两个月。
- 2009年12月14日至17日，李晓亮同学赴日本参加第3届计算机与信息科学中的数学问题国际会议（MACIS 2009）。
- 2009年10月12日至14日，修正演算与应用国际研讨会在中国南京举行。王东明教授任大会联合主席。
- 2009年10月1日至12月26日，黄艳丽同学赴奥地利林茨约翰 · 开普勒大学符号计算研究所（RISC）访问计算机代数项目组 Franz Winkler 教授，并于2009年11月19日作了题为 Parametric Loci of Self-intersection for Parametrized Surfaces 的学术报告。
- 2009年9月26日至29日，王东明教授、黄艳丽同学赴罗马尼亚参加第11届科学计算的符号与数值算法国际研讨会（SYNASC 2009）。王东明教授任符号计算分会联合主席，黄艳丽同学在会上作了题为 Parametric Loci of Self-intersection for Surfaces 的学术报告。
- 2009年8月10日至16日，第3届符号计算暑期讲习班（SSSC 2008）在中国成都举行。王东明教授在讲习班上作了邀请报告。
- 2009年5月11日至13日，数学机械化重点实验室举办数学机械化国际会议（ICMM 2009），庆祝吴文俊先生90华诞。王东明教授在会上作了邀请报告，李晓亮同学、牟晨琪同学参加了会议。
- 2009年4月6日至8日，王东明教授赴日本东京参加第6届亚洲软件基础研讨会（AWFS 2009），并在会上作了题为 Formalization and Specification of Geometric Knowledge Objects 的学术报告。
- 2008年10月25日至11月6日，赵婷同学赴韩国高等研究院（KIAS）访问学习。
- 2008年9月26日至28日，王东明教授赴罗马尼亚参加第10届科学计算的符号与数值算法国际研讨会（SYNASC 2008），并在会上作了题为 Triangular Decomposition for Algebraic and Geometric Computing 的邀请报告。
- 2008年9月1日，陈肖宇同学赴荷兰埃因霍温科技大学学习工作一年。
- 2008年8月30日，杨静同学赴美国北卡罗莱那州立大学访问学习一年半。
- 2008年7月7日至20日，牛薇和赵婷同学赴奥地利哈根伯格参加由符号计算研究所（RISC）举办的第3届符号计算讲习班。
- 2008年7月，王东明教授开始任《中国科学：信息科学》中英文版常务副主编。
- 2008年5月，美国北卡罗莱那州立大学 Hoon Hong 教授作为北航引智项目聘请专家来校访问，进行为期三周的学术交流活动。 新闻链接
- 2008年4月28日至30日，第一届符号计算与密码学国际会议（SCC 2008）在北京航空航天大学举行。郑志明副校长任大会主席，王东明教授任大会程序委员会联合主席。新闻链接
- 2008年4月3日至5日，国际研讨会 International Seminar on Symbolic Real Algebra and Trustworthy Computing 在上海举行。王东明教授任研讨会程序联合主席。
- 2008年3月，奥地利林茨大学 Winkler Franz 教授作为北航引智项目聘请专家来校访问，进行为期两周的学术交流活动。新闻链接
- 2007年10月25日，赵婷同学作为北京航空航天大学和巴黎第六大学联合培养博士生赴巴黎第六大学计算机科学实验室（LIP6）学习工作一年半。
- 2007年7月28日至8月1日，王东明教授赴加拿大滑铁卢参加第32届国际符号和代数计算会议（ISSAC 2007），并担任大会主席。
- 2007年6月7日至7月7日，陈肖宇同学赴荷兰埃因霍温科技大学学习交流一个月。
- 2007年6月1日至3日，王东明教授、陈肖宇和邵莹同学赴厦门参加第5届亚洲软件基础研讨会（AWFS 2007），陈肖宇同学在会上作了学术报告。
- 2007年5月20日至6月2日，赵婷同学在美国北卡罗莱那州立大学符号计算研究小组访问学习，并就中心与北卡罗莱那州立大学的合作项目进行交流。
- 2007年4月11日，梁野同学作为北京航空航天大学和巴黎第六大学联合培养博士生赴巴黎六大计算机科学实验室（LIP6）学习工作一年。
- 2007年3月5日至9日，王东明教授、梁铁林和赵婷同学赴杭州参加第2届中美符号计算联合研讨会，并分别在会上作了学术报告。
- 2006年11月21日至12月15日，梁野同学赴法国巴黎第六大学计算机科学实验室交流学习。
- 2006年10月17日，教育部“数学、信息与行为重点实验室”与法国国家信息与自动化研究院（INRIA）共同组建了中法科研团队 Chinese-SALSA。新闻链接
- 2006年10月9日至14日，梁铁林同学赴成都参加数学机械化与教育研讨会，并在会上作了题为 Gool: Geometric-Object-Oriented Language 的学术报告。
- 2006年9月20日至22日，第8届国际人工智能与符号计算大会（AISC 2006）在北京航空航天大学举行。王东明教授担任大会主席，梁铁林同学在会上作了题为 Solving Dynamic Geometric Constraints Involving Inequalities 的学术报告。新闻链接
- 2006年9月，荷兰 Arjeh M. Cohen 教授和法国 Thérèse Hardin 教授应邀在北京航空航天大学作系列学术报告。
- 2006年8月31日至9月2日，王东明教授、陈肖宇同学赴西班牙比戈大学参加第6届国际几何学自动推理研讨会（ADG 2006），并分别在会上作了题为 Geometric Constraint Handling in Gool 和 Towards an Electronic Geometry Textbook 的学术报告。
- 2006年7月27日至8月4日，王东明教授、牛薇同学赴韩国高等研究院（KIAS）和日本京都大学数学科学研究所（RIMS）参加 KIAS-RIMS 计算机代数联合研讨会。王东明教授在会上作了题为 Gröbner Bases in Geometric Reasoning 和 Polynomial Elimination and Triangular Decomposition 的邀请报告，牛薇同学在学生组作了学术报告。会后（8月5日至13日），牛薇同学赴日本东京立教大学和东京大学参观访问，与富士通实验室和东京计算生物学研究中心的有关科研人员进行了学术交流。
- 2006年7月24日至26日，首届计算机与信息科学中的数学问题国际会议（MASIC 2006）在北京航空航天大学举行。王东明教授任大会程序委员会主席，牛薇同学在会上作了题为 Application of Quantifier Elimination and Discriminant Varieties to Stability Analysis of Biological Systems 的学术报告。
- 2006年7月15日至22日，第2期符号计算暑期讲习班（SSSC 2006）在北京大学举行。王东明教授任讲习班学术协调委员会主任，陈肖宇、洛天等10名中心成员参加了讲习班。
- 2006年7月9日至12日，王东明教授赴意大利参加第31届国际符号和代数计算会议（ISSAC 2006），并在会上作了题为 Uniform Gröbner Bases for Ideals Generated by Polynomials with Parametric Exponents 的学术报告。
- 2006年7月，北京航空航天大学与巴黎第六大学签订了关于李丽赟、梁野同学的博士联合培养协议，并获得了国家留学基金资助。
- 2006年5月29日，北京航空航天大学郑志明副校长、王东明教授与国际出版社 Birkhäuser/ Springer 签署了有关协议：北航主办的国际学术期刊 Mathematics in Computer Science 将于明年一月正式创刊，由 Birkhäuser/Springer 全球发行。新闻链接
- 2006年5月8日至18日，王东明教授赴奥地利林茨大学主持符号分析中的 Gröbner 基研讨会，并在会上作了题为 Gröbner Bases and Differential Triangular Decomposition 的学术报告。
- 2006年4月12日至14日，由张景中院士、李尚志教授和王东明教授联合组织的教学中的符号计算国际研讨会（SCE 2006）在北京航空航天大学举行。王东明教授和陈肖宇同学分别在会上作了题为 GEOTHER, GOOL, and Beyond 和 The Electronic Geometry Textbook Project 的学术报告。
- 2006年2月5日至3月31日，陈肖宇同学赴奥地利林茨大学参加 Gröbner 基及相关方法专题学期进行交流学习.
