新闻动态

首页 >> 新闻动态
重点实验室2020年学术委会议在北京召开
重点实验室学术委员会2020年会议于2021年1月18日上午在北京召开。根据“疫情”的特殊情况，会议分为线上线下进行。参加会议的有学术委主任委员林惠民院士、副主任委员吕建院士、委员陈左宁、廖湘科、陈纯、王怀民、吕荣聪、张健、徐宝文、赵文耘、杜小勇、...
2021-01-20
重点实验室老师参加中兴通讯-北京大学基础软件联合实验室正式成立
2021年1月13日上午，中兴通讯-北京大学基础软件联合实验室技术管理委员会第一次会议在北京大学理科一号楼1801会议室以多地视频的方式顺利召开。科技开发部邱建国副部长，重点实验室谢冰、胡振江、张大庆、谢涛、郭耀教授，崔斌研究员等，中兴通讯技术专家...
2021-01-14
李浩源博士受聘重点实验室客座副教授并做学术报告
2020年12月28日上午，高可信软件技术教育部重点实验室在理科二号楼2736会议室举行李浩源博士受聘客座副教授仪式，重点实验室主任梅宏院士为李浩源博士颁发聘书。随后，李浩源博士做了题为《Data Orchestration for AI, Big Data, and Cloud》的学术报告。...
2020-12-29
2020年华为-北大可信&软件工程研讨会成功举办
2020年12月11日，2020年华为-北大可信&软件工程研讨会在英杰交流中心一层月光厅举行。重点实验室谢冰、胡振江、周明辉、陈钟、谢涛、张路教授、郝丹副教授等，华为公司北京研究所所长常胜，华为可信理论、技术与工程实验主任蒋铭，华为数据通信研发管理部...
2020-12-14
第十届高可信软件技术学术研讨会
2020年12月5日-6日，由北京大学高可信软件技术教育部重点实验室主办了第十届高可信软件技术研讨会暨高可信软件技术学科引智基地学术研讨会。由于疫情影响，此次会议采用线上会议和线下会议相结合的方式举行。高可信软件技术学科引智基地（简称111计划）目...
2020-12-08
首页上页1...1920212223...76下页尾页

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