新闻动态

首页 >> 新闻动态
熊英飞研究员应邀在软件工程青年学者论坛上做报告
2016年8月10 日，熊英飞研究员应邀在软件工程青年学者论坛上作了“通过问答网站修复程序中的缺陷”的报告，并在CCF YOCSEF南京论坛上作为嘉宾参与了“青年教师如何与学生共同成长”的研讨。软件工程青年学者论坛是中...
2016-09-02
《面向对象分析与设计（第二版）》获得2016年北京大学优秀教材奖
麻志毅副教授编著的《面向对象分析与设计（第二版）》获得2016年北京大学优秀教材奖。
2016-09-02
召开“基于大数据的软件智能开发方法和环境”项目预备启动会
2016年8月29日，由谢冰教授主持的“基于大数据的软件智能开发方法和环境”项目（2016YFB1000800)召开了项目预备启动会。该项目获2016年“云计算和大数据”重点专项支持，组成了以北京大学、南京大学、中科院软件所、...
2016-09-02
国际服务学会青年科学家论坛（大中华区）第六次会议在北京大学召开
2016年7月30--31日，由北京大学担任主席单位的国际服务学会青年科学家论坛（大中华区，简称SSYSF)第六次会议在中关园召开。会议以“软件定义一切，服务互联世界”为主题，邀请了国内外知名学者作特邀报告，并开设研究...
2016-09-02
高可信基础软件联合创新实验室揭牌仪式在天津北大科技园举行
2016年7月26日,北京大学信息科学技术学院、绿欣科技(天津)有限公司、中标软件有限公司战略合作签约暨高可信基础软件联合创新实验室揭牌仪式在北大科技园天津分园举行。天津市宝坻区委副书记、区长李建成等一行，北京...
2016-09-02
首页上页1...4748495051...76下页尾页

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