新闻动态

首页 >> 新闻动态
2020年高可信软件技术教育部重点实验室年会在北京召开
      2020年高可信软件技术教育部重点实验室年于2020年12月5日下午在北京西苑饭店召开，参加会议的人员为线下主会场的重点实验室成员与线上香港分实验室的成员。会上，由常务副主任金芝教授主持并作了《重点实验室年度工作报告》，梅宏主任作了重要讲话...
2020-12-07
胡振江教授当选日本工程院外籍院士
近日，胡振江教授收到日本工程院小林喜光院长通知，通知他当选为日本工程院外籍院士。日本工程院(The Engineering Academy of Japan)成立于1987年，由大学、产业界以及国家机关中在工程及科学技术相关领域作出卓越贡献，并具有重要领导和指导地位的人士组...
2020-11-23
IEEE国际服务大会（IEEE SERVICES 2020）成功举办
2020年10月19—23日，由电气电子工程师学会（the Institute of Electrical and Electronics Engineers，IEEE）主办、北京大学和CCF服务计算专委共同承办的IEEE国际服务大会（IEEE Congress on Services, SERVICES 2020）成功举办。IEEE SERVICES 是服务计...
2020-10-30
金芝教授团队和实验室111引智基地专家Carlo Ghezzi教授团队获ASE2020 ACM SIGSOFT ...
     金芝教授团队和实验室111引智基地专家Carlo Ghezzi教授团队在信息物理空间系统方面的工作获得2020年软件工程领域顶级会议Automated Software Engineering（ASE）国际会议上获得ACM SIGSOFT Distinguished Paper Award。获奖文章为Scalable Multiple-...
2020-10-29
北京大学与微软亚洲研究院举办的代码智能研讨会圆满举办
2020年10月27日下午，北京大学信息科学技术学院计算机系与微软亚洲研究院在北京大学理科一号楼1504举办代码智能（Code Intelligence）研讨会。会议由北京大学计算机科学技术系教授周明辉主持，北京大学信息科学技术学院副院长、计算机科学技术系主任胡振江...
2020-10-28
首页上页1...1718192021...73下页尾页

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