新闻动态

首页 >> 新闻动态
梅宏院士出席全国信标委SOA分技术委员会2015年全会，并做了会议总结发言
2015年8月28日，全国信标委SOA分技术委员会2015年全会在北京工业大学召开，主任委员梅宏院士出席了会议，并做了会议总结发言。赵俊峰副教授在会上介绍了新近立项的国家标准“智慧城市领域知识模型--核心概念模型”的...
2015-09-06
梅宏院士、黄罡教授参加国家863计划重大项目三期课题启动暨二期课题阶段总结交流会
2015年8月26日，国家科技部863计划重大项目“云计算关键技术与系统”三期课题启动暨二期课题阶段总结交流会在北京航空航天大学召开。梅宏院士作为863计划信息领域先进计算专家组组长出席会议，听取了对“云计算关键技...
2015-09-06
刘譞哲副教授访问IBM T.J. Watson Research Center
2015年7月5--8日，应IBM T.J.Watson Research Center高级研究员谭位博士、Dartmouth College Xia Zhou教授的邀请，刘儇哲副教授访问IBM T.J.Watson Research和Dartmouth College ，并作了题目为”Measurement and An...
2015-07-29
梅宏院士荣获IEEE Computer Society Meritorious Service Award
在 2015年7月1-5日举行的COMPSAC 2015国际会议上，IEEE Computer Society授予重点实验室主任梅宏院士Meritorious Service Award,以表彰他“对COMPSAC会议15年来专注而杰出的贡献。
2015-07-29
“973计划”青年科学家专题项目“基于情境的安全攸关软件的构造方法与运行机理研究...
2015年7月25日，由重点实验室和香港中文大学深圳研究院承担的青年973项目“基于情境的安全攸关软件的构造方法与运行机理研究”在北京大学召开了中期总结会。北京航空航天大学钱德沛教授等项目责任专家，北京大学梅宏...
2015-07-29
首页上页1...5960616263...73下页尾页

高可信软件技术教育部重点实验室(北京大学) , Key Lab of High Confidence Software Technologies(PKU), Ministry of Education