- 2015年11月15日至20日，王东明教授和牟晨琪老师赴德国达格斯图尔参加符号计算与可满足性判定研讨班（(SC)² 2015）。王东明教授联合主持研讨班，牟晨琪老师在研讨班上作了题为 Triangular Sets over F2 VS Satisfiability Checking: A Potential Connection and Interaction? 的学术报告。
- 2015年11月11日至13日，陈肖宇和牟晨琪老师与多位研究生赴德国柏林参加第6届计算机与信息科学中的数学问题国际会议（MACIS 2015）。安文雅同学在会上作了题为 Searching for Geometric Theorems Using Features Retrieved from Diagrams 的学术报告。
- 2015年10月31日至11月1日，第7届全国计算机数学学术会议（CM 2015）在中国合肥举行。牟晨琪老师在会上作了题为 Sparse FGLM Algorithms for Solving Polynomial Systems 的学术报告。
- 2015年10月21日至23日，第4届程序验证、自动调试与符号计算国际学术研讨会（PAS 2015）在中国北京举行。王东明教授任大会程序委员会联合主席。
- 2015年10月10日至14日，第8届工业与应用数学国际会议（ICIAM 2015）在中国北京举行。牟晨琪老师在会上作了题为 Simple Triangular Decomposition over Finite Fields 的学术报告。
- 2015年10月至2016年10月，徐娟同学在美国纽约大学柯朗研究所学习一年。
- 2015年8月3日至9日，第4期符号计算暑期讲习班（SSSC 2015）在北京航空航天大学举行。王东明教授任讲习班学术委员会联合主席，牟晨琪老师任组织委员会主席，安文雅同学在讲习班上作了题为 “几何学图片的特征信息提取与定理搜索” 的学术报告。
- 2015年7月1日至10日，王东明教授赴日本大阪参加第8届日本数学会季节研究所 Current Trends on Gröbner Bases - The 50th Anniversary of Gröbner Bases，并在研究所作了题为 On Connections Between Triangular Sets and Gröbner Bases 的邀请报告。
- 2015年2月2日至4日，王东明教授和多名研究生赴广西南宁参加几何计算国际研讨会（GC 2015）。杨静、陈肖宇、宋丹和安文雅分别在会上作了学术报告。
- 2015年1月5日，由王东明、牟晨琪等编著的教材《多项式代数》获2014年北京航空航天大学校级本科优秀教学成果奖一等奖（教材）。
- 2014年11月23日至29日，由德国 Thomas Sturm 教授、王东明教授、佘志坤教授和牛薇副教授共同组织的“约束计算与推理”中德双边研讨会在北京举行，王东明教授、牛薇副教授、牟晨琪老师、黄艳丽博士分别在会上作了学术报告。
- 2014年9月22日至25日，王东明教授赴罗马尼亚蒂米什瓦拉参加第16届科学计算的符号与数值算法国际研讨会（SYNASC 2014）。
- 2014年8月5日至9日，陈肖宇博士赴韩国参加第4届国际数学软件大会（ICMS 2014），并在会上作了题为 OpenGeo: An Open Geometric Knowledge Base 的学术报告。
- 2014年7月28日至8月4日，美国纽约大学 Chee Yap 教授访问计算机数学交叉研究中心，并作题为 Towards Numerical Computational Geometry 的学术报告。
- 2014年7月9日至11日，宋丹同学和陈肖宇博士赴葡萄牙科英布拉参加第10届国际几何学自动推理研讨会（ADG 2014）。宋丹同学在会上作了题为 Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams 的学术报告。
- 2014年7月17日至18日，由李未院士、王东明教授和奥地利约翰·开普勒大学 Tudor Jebelean 教授共同组织的第3届程序验证、自动调试与符号计算国际研讨会（PAS 2014）在奥地利维也纳举行。陈肖宇博士在会上作了题为 RCK: A Software Toolkit for R-calculus 的学术报告。
- 2014年7月，王东明教授和陈肖宇博士应 Christoph Meinel 教授和 Reinhard Wilhelm 教授的邀请到德国哈索·普拉特纳研究所和萨尔兰大学访问交流。
- 2013年12月，王东明教授、牟晨琪老师赴广西南宁参加第5届计算机与信息科学中的数学问题国际会议（MACIS 2013）。王东明教授任大会主席。牟晨琪老师任联合宣传主席，并在会上作了题为 Reconstructing Chemical Reaction Networks by Solving Boolean Polynomial Systems 的学术报告。
- 2013年11月，李晓亮同学应 Felix Kubler 教授邀请访问苏黎世大学，并作题为 Computing Equilibria of Semi-algebraic Economies Using Triangular Decomposition and Real Solution Classication 的学术报告。
- 2013年10月23日至25日，由李未院士、王东明教授和奥地利约翰内斯·开普勒大学 Tudor Jebelean 教授共同组织的第2届程序验证、自动调试与符号计算国际研讨会（PAS 2013）在北京举行。
- 2013年9月23日至26日，王东明教授赴罗马尼亚蒂米什瓦拉参加第15届科学计算的符号与数值算法国际研讨会（SYNASC 2013）。
- 2013年9月，梁野博士赴德国马克斯 · 普朗克计算机科学研究所从事博士后研究。
- 2013年9月，牟晨琪博士开始任北京航空航天大学数学与系统科学学院讲师。
- 2013年8月18日至20日，陈肖宇博士赴吉林大学参加第5届全国计算机数学学术会议（CM 2013），并在会上作了题为“开放式数学知识资源分享平台”的学术报告。
- 2013年6月24日，杨静同学获北京航空航天大学理学博士学位。
- 2013年6月，杨静同学的论文 Improving Angular Speed Uniformity by Optimal Cº Piecewise Reparameterization 获北航2013年度研究生十佳学术论文奖（会议类）。
- 2013年5月，牟晨琪同学通过北京航空航天大学和巴黎第六大学联合培养博士论文答辩，获得北京航空航天大学应用数学博士学位和巴黎第六大学计算机科学博士学位。
- 2013年1月，梁野同学获得北京航空航天大学理学博士学位。
- 2012年10月10日至12日，由李未院士、王东明教授和奥地利约翰内斯 · 开普勒大学 Tudor Jebelean 教授共同组织的第一届程序验证、自动调试与符号计算国际研讨会（PAS 2012）在北京举行。
- 2012年9月26日至29日，王东明教授赴罗马尼亚蒂米什瓦拉参加第14届科学计算的符号与数值算法国际研讨会（SYNASC 2012）。
- 2012年9月17日至19日，王东明教授、陈肖宇博士和杨静同学赴英国爱丁堡参加第9届几何学自动推理国际研讨会（ADG 2012）。王东明教授在会上作了题为 Automation of Geometry — Theorem Proving, Diagram Generation, and Knowledge Management 的邀请报告，陈肖宇博士和杨静同学分别在会上作了题为 Interfacing Euclidean Geometry Discourse with Diverse Geometry Software 和 Improving Angular Speed Uniformity by C¹ Piecewise Reparameterization 的学术报告。
- 2012年9月7日至16日，杨静同学访问奥地利林茨约翰内斯 · 开普勒大学计算数学研究所（RICAM），并作题为 Improving Angular Speed Uniformity by Reparameterization 的学术报告。
- 2012年9月3日至6日，杨静同学获得北航研究生出国（出境）参加国际学术会议资助，赴斯洛文尼亚马里博尔大学参加第14届科学计算的计算机代数国际研讨会（CASC 2012），并在会上作了题为 Improving Angular Speed Uniformity by Optimal Cº Piecewise Reparameterization 的学术报告。
- 2012年7月，陈肖宇博士应 Pascal Schreck 教授和 Julien Narboux 博士邀请赴法国斯特拉斯堡大学访问交流，并于7月22日至25日在法国参加第37届国际符号和代数计算会议（ISSAC 2012），在会上作题为 GeoText: An Intelligent Dynamic Geometry Textbook 的软件展示。
- 2012年7月，陈肖宇博士应 Michael Kohlhase 教授邀请赴德国雅各布大学访问交流，并于8日至13日在德国参加智能计算机数学会议（CICM 2012），在会上作题为 Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence 的学术报告。
- 2012年5月17日至20日，王东明教授赴德国亚琛工业大学参加第2届符号计算及其应用会议（SCA 2012），并在会上作了题为 Algebraic Stability and Bifurcation Analysis for Certain Dynamical Systems 的邀请报告。
- 2012年5月3日，赵婷同学获北京航空航天大学理学博士学位和法国巴黎第六大学计算机科学博士学位。
- 2012年3月26日至4月1日，赵婷同学赴意大利参加第27届 ACM 应用计算研讨会（SAC 2012），并在会上作了题为 Real Solution Formulas of Cubic and Quartic Equations Applied to Generate Dynamic Diagrams with Inequality Constraints 的学术报告。
- 2012年3月，牛薇博士开始任北京航空航天大学中法工程师学院讲师。
- 2012年1月，陈肖宇博士加入北京航空航天大学软件开发环境国家重点实验室从事博士后研究。
- 2012年1月，李晓亮同学博士毕业，到东莞理工学院计算机学院工作。
- 2012年1月9日，黄艳丽同学获北京航空航天大学理学博士学位。
- 2011年12月，陈肖宇同学获北京航空航天大学理学博士学位。
- 2011年10月19日至21日，第4届计算机与信息科学中的数学问题国际会议（MACIS 2011）在北京举行。王东明教授和郑志明副校长担任大会主席。
- 2011年9月26日至29日，王东明教授赴罗马尼亚参加第13届科学计算的符号与数值算法国际研讨会（SYNASC 2011），并担任程序委员会主席。
- 2011年6月11日，牛薇同学通过博士论文答辩，获法国巴黎第六大学博士学位。
- 2011年6月，牟晨琪同学赴美国参加国际符号和代数计算会议（ISSAC 2011），并在会上作了题为 Fast Algorithm for Change of Ordering of Zero-dimensional Gröbner Bases with Sparse Multiplication Matrices 的学术报告。
- 2011年6月，牛薇同学应法国 François Boulier 教授邀请访问里尔第一大学，并作题为 Automatic Analysis of Qualitative Behaviors for Biological Systems and its Implementation 的学术报告。
- 2011年5月30日至6月3日，黄艳丽同学赴瑞典参加斯特哥尔摩大学举办的代数几何中的有效方法国际会议（MEGA 2011），并在会上作了题为 Rational General Solutions of Algebraic ODEs-Generalization to Higher Order 的学术报告。
- 2011年4月，梁野同学获法国巴黎第六大学博士学位。
