新闻动态

首页 >> 新闻动态
重点实验室两篇论文被软件工程顶级会议ICSE'17录用
近日，ICSE`17通知，重点实验室两篇论文被该顶级会议录用：一篇论文关注缺陷修复问题。论文利用现有软件库中的大量代码，通过从现有代码中进行学习，将修复正确率从不到40%提高到了接近80%。论文的作者包括熊英飞研究...
2017-01-03
高可信软件技术教育部重点实验室年会暨第六届高可信软件研讨会在北京召开
2016年高可信软件技术教育部重点实验室年会于2016年12月17日上午在北京大学中关新园召开，参加会议的人员有重点实验室成员、博士研究生的代表、国际指导委员会委员等90余人。会议的主要内容：梅宏主任致欢迎词，对与...
2016-12-22
重点实验室学术委员会2016年度会议在北京大学召开
高可信软件技术教育部重点实验室学术委员会2016年度会议于12月9日在北京大学召开。参加会议的有：林惠民、陆汝钤、吕建、徐宝文、赵文耘、金海、梅宏、陈钟等学术委员会委员，大学科研部何洁及重点实验室副主任金芝、...
2016-12-22
黄罡教授在国际会议CollaborateCom 2016上作特邀主题报告
2016年11月12日，黄罡教授应邀在国际会议12th EAI International Conference on Collaborative Computing:Networking,Applications and Worksharing(CollaborateCom)作“Services Computing for Big Data:Challenges...
2016-12-02
孙艳春副教授在全国软件与应用学术会议(NASAC2016)的教学论坛做特邀报告
2016年11月4日，孙艳春副教授在全国软件与应用学术会议（NASAC2016)的教授论坛做特邀报告，报告题为“以综合能力和创新能力培养为导向的软件工程课程设计”，并与会者进行了广泛的交流。
2016-12-02
首页上页1...4142434445...76下页尾页

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