新闻动态

首页 >> 新闻动态
谢涛教授获2021年度ACM SIGSOFT杰出服务奖
国际计算机协会 ACM (Association for Computing Machinery ) 是一个世界性的计算机从业人员专业组织，创立于1947年，是世界上第一个科学性及教育性计算机学会，全世界计算机领域影响力最大的专业学术组织。SIGSOFT是ACM旗下的软件工程学术机构，为来自工...
2021-02-23
重点实验室2020年学术委会议在北京召开
重点实验室学术委员会2020年会议于2021年1月18日上午在北京召开。根据“疫情”的特殊情况，会议分为线上线下进行。参加会议的有学术委主任委员林惠民院士、副主任委员吕建院士、委员陈左宁、廖湘科、陈纯、王怀民、吕荣聪、张健、徐宝文、赵文耘、杜小勇、...
2021-01-20
李浩源博士受聘重点实验室客座副教授并做学术报告
2020年12月28日上午，高可信软件技术教育部重点实验室在理科二号楼2736会议室举行李浩源博士受聘客座副教授仪式，重点实验室主任梅宏院士为李浩源博士颁发聘书。随后，李浩源博士做了题为《Data Orchestration for AI, Big Data, and Cloud》的学术报告。...
2020-12-29
第十届高可信软件技术学术研讨会
2020年12月5日-6日，由北京大学高可信软件技术教育部重点实验室主办了第十届高可信软件技术研讨会暨高可信软件技术学科引智基地学术研讨会。由于疫情影响，此次会议采用线上会议和线下会议相结合的方式举行。高可信软件技术学科引智基地（简称111计划）目...
2020-12-08
2020年高可信软件技术教育部重点实验室年会在北京召开
      2020年高可信软件技术教育部重点实验室年于2020年12月5日下午在北京西苑饭店召开，参加会议的人员为线下主会场的重点实验室成员与线上香港分实验室的成员。会上，由常务副主任金芝教授主持并作了《重点实验室年度工作报告》，梅宏主任作了重要讲话...
2020-12-07
首页上页12345...56下页尾页

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