新闻动态

首页 >> 新闻动态
软件工程研究所论文被POPL录用
目前，北京大学计算机系软件工程研究所博士生邹达明为第一作者的论文《Detecting Floating-Point Errors via Atomic Conditions》被第47届编程语言原理国际会议（POPL 2020）录用，北京大学为第一单位。 邹达明是北京...
2019-10-21
梅宏院士当选CCF理事长
2019年10月19-20日CCF第十二次会员代表大会在苏州隆重举行。来自全国各地的会员代表、理事候选人共计450余人出席了大会。CCF会员代表大会是CCF的最高权力机构，负责制定或修改学会章程、选举理事会和监事会、评价理事...
2019-10-21
博士生李念语参加了第41届认知科学年会，并做了报告
2019年7月23日，博士生李念语参加了第41届认知科学年会，做了题为“A conceptual model of self-adaptive system based on attribution theory”的报告，并获得会议方发起的Jabobs foundation awards。认知科学年会是...
2019-09-03
加拿大维多利亚大学Hausi Muller教授访问重点实验室
2019年8月12日，金芝教授邀请加拿大维多利亚大学Hausi Muller教授及其夫人加拿大维多利亚大学Ulrike Stege教授访问北京大学信息学院计算机系软件所和高可信软件技术教育部重点实验室。Hausi Muller教授和Ulrike Steg...
2019-09-03
金芝教授在TASE2019上做大会特邀报告
2019年7月31日，应大会程序委员会邀请，金芝教授在The 13th International Symposium on Theoretical Aspects of Software Engineering（TASE）上做了题为“Privacy and Safety Issues in Reliable Autonomy for Hum...
2019-09-03
首页上页1...2425262728...76下页尾页

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