新闻动态

首页 >> 新闻动态
国家973计划“基于开源生态的网构化软件开发原理和方法”项目在北京召开年度总结会
2016年1月22日,由金芝教授牵头承担的973计划"基于开源生态的网构化软件开发原理和方法"项目在北京召开年度总结会。会上，金芝教授首先代表项目组向项目专家介绍了一年来的研究进展，项目组成员周明辉副教授、南京大学...
2016-03-29
刘譞哲副教授当选国际服务学会青年科学家论坛大中华区主席
2016年1月15--17日召开的国际服务学会青年科学家论坛年度会议上，经过与会代表现场无记名投票，刘譞哲副教授当选新一届国际服务学会青年科学家论坛大中华区主席，任期一年。
2016-03-07
北京大学-山东省计算中心“云计算与大数据技术联合实验室”签约仪式在济南举行
2016年1月21日,北京大学软件工程研究所与山东省计算中心(国家超级计算济南中心)在济南举行了"云计算与大数据技术联合实验室"签约仪式,北京大学软件工程研究所黄罡副所长张颖博士，山东省计算中心谭安辉书记、杨美红副...
2016-03-07
黄罡教授应邀在国际服务学会青年科学家论坛做特邀主题报告
2016年1月15--17日,国际服务学会青年科学家论坛(Services Society Young Scientst Forum)在海口召开学术会议，黄罡教授应邀作了《云端融合模式下的服务计算挑战与机遇》的主题报告。黄罡教授结合自身在系统软件、云计...
2016-02-23
第五届高可信软件国际研讨会在北京大学博雅酒店举行
第五届高可信软件国际研讨会(5th International Symposium on High Confidence Software)2015年12月19-20日在北京大学博雅酒店举行。会议吸引了来自美国、加拿大、德国、俄罗斯、中国等多个国家的五十多名学者，有十...
2016-01-14
首页上页1...5354555657...76下页尾页

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