登录
站内检索:
承办会议
(1) 第一届安全关键软件系统模型化开发与验证国际研讨会。
2013年10月9日至2013年10月11日,第一届安全关键软件系统模型化开发与验证国际研讨会(SafeMOVE 2013)召开,旨在针对国内工业部门所关注的安全关键软件的开发与验证问题,讨论安全软件及系统建模与验证技术及其在航空工业等领域的应用,分析欧洲和北美在模型化方法与技术应用方面的成功经验和典型案例,详细讲解基于模型的系统与软件协同分析、设计与验证方法,及其在航空工业等领域中的成功实践。本届会议由航空科学与技术国家实验室、空军测评中心、中航计算所、CCF抗恶劣环境专委会和CCF软件工程专委会主办,软件开发环境国家重点实验室参与承办了这次会议,实验室李未院士作为特邀嘉宾,进行了关于程序调试理论的主题报告。本次国际研讨会为国内航空航天等工业部门提供了一个专题化的国际交流平台,在促进国内工业部门在关键技术的研发等方面发挥了重要作用。
 
(2) Program Verification, Automated Debugging and Symbolic Computation (PAS 2013/2014/2015)
2013年10月于北京、2014年7月于奥地利维也纳、2015年10月于北京,实验室分别主持举办了PAS2013、PAS2014、PAS2015。实验室李未院士连续三年任会议主席。此外,实验室副主任马殿富教授于PAS2015受邀进行了专题报告。三次会议围绕程序验证、自动调试、符号计算等领域,探讨了相关的前沿动态与研究进展,促进了国内外相关研究人员的交流与合作。
 
 (3) 中德约束计算与推理双边研讨会。
2014年11月23日至2014年11月29日,北京航空航天大学与德国马普计算机科学研究所联合在京举办中德“约束计算与推理”双边研讨会,本次会议由软件开发环境国家重点实验室承办。来自德国马普计算机科学研究所、亚琛工业大学、弗莱堡大学等研究机构的十余位德国科学家,来自北京航空航天大学、中国科学院数学与系统科学研究院、中国科学院软件研究所等单位的二十位中方科学家,以及来自法国南希国家信息与自动化研究所的两位代表出席了此次会议。34位参会代表围绕算数约束、可满足模理论、量词消去方法等研究领域新的进展与应用进行了深入探讨,中德双方对各自的研究兴趣和科研条件进行充分的了解和交流,对研究热点和部分科学问题进行探讨,规划了更深层次的双边合作研究项目。此次研讨会进一步加强了相关领域中德科学家之间已有的紧密联系,并对促进双边合作研究项目及推动研究生层面的教育合作工作产生了积极影响。
 
(4) Information Security Practice and Experience Conference(ISPEC 2015)
2015年5月5日至2015年5月8日,软件开发环境国家重点实验室承办了第11届Information Security Practice and Experience Conference(ISPEC 2015),实验室副主任吕卫锋教授任会议名誉主席,实验室曹庆华教授任会议联合主席。会议邀请了新加坡管理大学Robert H. Deng教授,美国国家标准与技术研究所René Peralta教授,纽约州立大学布法罗分校Kui Ren教授等进行了专题报告。来自各个国家的80余名研究人员围绕信息安全领域新兴的相关技术及其应用展开了广泛的交流与讨论,进一步加强了信息安全领域国内外研究人员的交流与合作。
 
(5) IEEE Internatinal Conference on Internet of People(IoP 2015)
2015年8月10日至2015年8月14日,软件开发环境国家重点实验室承办了2015年IEEE Internatinal Conference on Internet of People(IoP 2015),实验室李建欣教授任会议执行主席。实验室胡春明副教授受邀进行了关于高效、安全系统可视化的专题报告。来自各个国家的100余名研究人员围绕个人信息收集、人物性格建模等领域的论文进行了广泛讨论与深入理解,进一步加强了国内外研究人员的交流。
 
 (6) 第三届大数据科学与计算智能研讨会。
2016年7月29日至2016年7月31日,由实验室承办的“第三届大数据科学与计算智能国际研讨会”在北京举行。本次研讨会旨在探讨大数据与计算智能领域的国际最新研究方向和研究成果;加强国际学术界与产业界的交流合作,促进科研成果产业化进程。并以此为契机,搭建国际大数据研究合作发展平台,共同切磋商讨未来发展策略。
本次研讨会由实验室怀进鹏院士、樊文飞教授与香港科技大学杨强教授担任共同主席。会议邀请了美国工程院院士、IBM研究院Ronald Fagin博士,英国皇家学院院士、爱丁堡大学Peter Buneman教授,欧洲科学院院士、罗马大学Maurizio Lenzerini教授,实验室千人计划得主樊文飞教授,以及中国科学院院士、清华大学张钹教授,AAAI Fellow、IEEE Fellow、香港科技大学杨强教授,加拿大皇家学院院士、渥太华大学教授Ming Li教授,IEEE Fellow、香港科技大学Pascale Fung教授,香港中文大学Xiaogang Wang博士等人工智能领域国际顶尖专家学者进行了主题演讲,并邀请了国内相关领域的专家与学者进行了广泛、深入的学术讨论,吸引了200余人参加会议。
 
 (7) International Conference on Universal Village (UV 2014/2016)
2014年6月16日至2014年6月17日,实验室参与组织了第2届International Conference on Universal Village (UV 2014)。本届会议由美国麻省理工学院智能交通研究中心(MIT Intelligent Transportation Research Center)、软件开发环境国家重点实验室、清华大学、美国富士通研究所(Fujitsu Laboratories of America)等共同承办。实验室熊璋教授受邀进行了关于数据活化方面研究的专题报告。会议中,参会人员围绕合理利用科学技术以达到人与自然和谐相处的目的进行了深入的探讨与交流,期望在遵循自然规律、理解人类需求的基础之上提出创新的生活方式。
 
(8)第二届国际代数与组合学会议
2007年7月6日召开,本届会议由国际数学联合会(IMU)、联合国教科文组织(UNESCO)和东南亚数学会主办,实验室参与承办了这次会议,实验室主任李未院士担任会议组委会主席。联合国教科文组织纯数学与应用数学中心主席Michel Jambu教授、莫斯科大学首席副校长A.V. Mikhalev教授、菲尔兹奖获得者、美国加里福尼亚大学Efim Zelmanov教授,以及来自世界各国的100多位代数学家出席会议。李未院士还在大会上作为一小时特邀报告。
 
(9)WWW 2008
2008年4月21-25日,实验室承办了第17届国际万维网会议(WWW 2008),实验室怀进鹏教授担任会议执行主席。本次大会吸引了国际著名大学、研究机构、跨国企业和标准联盟的一流学者和产业界精英参与,参会人员达到1000余人,是历届最多的一次,其中80%以上是境外代表。有“万维网之父”之称的HTML语言发明人Tim Berners-lee、Google中国区总裁李开复博士(Dr. Kaifu Lee)、微软全球副总裁沈向阳(Dr. Harry Shum)和美国电报电话公司AT&T首席科学家David G.Belanger在大会上做了主题报告。
 
(10)修正演算及其应用研讨会
2009年10月12-14日,实验室在南京大学主办了International Symposium on Revision Calculus and Applications 2009(RCA '09),会上荷兰Radboud 大学的Henk Barendregt教授以及实验室李未院士作了特邀报告,参会人员约30余人。实验室成员在会上作了5个报告,介绍了实验室在修正演算及相关领域的最新研究进展。
 
(11)第七届亚洲软件基础研讨会
2010年5月14日至16日,由“亚洲软件基础学会”主办,实验室承办在北京举办了“第七届亚洲软件基础学术研讨会(AWFS2010)”。本届研讨会会议主席是实验室主任李未院士,程序委员会主席是日本筑波大学龟山敬义教授和实验室副主任马世龙教授。中国科学院软件研究所周巢臣院士、日本筑波大学井田哲雄教授、英国帝国理工大学郭毅可教授、实验室钱德沛教授在会上做特邀报告。研讨会日方出席人数为7人,中方出席人数为40人,英国出席人数1人。
 
(12)信息科学发展论坛
2010年11月5-6日,实验室主持召开了中国科学、科学通报创刊60周年纪念活动,信息科学发展论坛——技术科学论坛第45次学术报告会,邀请了杨芙清、朱作言、T. P. 马、何积丰、戴汝为、李德毅、郭光灿、邬贺铨、王阳元等多名院士作了8个综述性报告,并且在6日召开了4个分组论坛。
 
(13)云湖逻辑研讨会
2011年5月17日至19日,实验室主持召开了“云湖逻辑研讨会”,邀请了国内多所大学和研究机构的相关领域12名专家参会,会上各位专家分别介绍了近期的研究工作,并互相交流,探讨未来可能研究方向。