13
2016-04
2016年3月22日，在上海召开的IEEE ICASSP国际学术会议上，我校
报告题目：Introduction to the proof assista
报告题目：Introduction to the formal develo
报告题目：Introduction to the functional la
04
2015-12
10月29日，中国电子科技集团第二十八研究所（简称28所）所长助理王珩一行应
11月4日，中国人民大学信息学院院长杜小勇教授应邀在我校将军路校区计算机科学
29
2015-10
2015中国计算机大会（简称CCF）于10月22日至24日在合肥召开，来自国
2015年10月28日上午10点，韩国庆熙大学教授Sungyoung Lee
25
2015年10月17日，北京师范大学信息科学与技术学院教授邬霞老师应邀，在我
2015年10月13日，“CCF走进高校”活动来到南京航空航天大学，南京大学
14
2015-09
国家自然科学基金委员会与广东省人民政府共同出资设立超级计算科学应用研究专项（
国家自然科学基金委员会现发布重大研究计划“高性能科学计算的基础算法与可计算建
报告题目：Polychrony: A Model and an Open-s
国家自然科学基金委员会现发布重大研究计划“大数据驱动的管理与决策研究”201
书记信箱
