新闻动态

首页 >> 新闻动态
金芝教授应邀访问日本国立情报学研究所
2015年1月19-21日,金芝教授应邀访问日本国立情报学研究所(NII），与日本国立情报学研究所胡振江教授和Shinichi Honiden教授，以及意大利米兰理工大学的Carlo Ghezzi教授就关于"Extending Internetware to the Physic...
2015-03-20
张路教授被聘为教育部“长江学者奖励计划”特聘教授
教育部于2015年1月16日发布了"关于公布2013、2014年度长江学者特聘教授、讲座教授名单的通知”（教人[2015]1号）。根据《教育年部关于印发“长江学者奖励计划”实施办法的通知》（教人[2011]10号）有关规定，经学校推...
2015-03-19
金芝教授担任国家重点基础研究发展计划项目首席科学家
国家科技部于2015年3月6日发布了关于国家重点基础研究发展计划2015年项目立项的通知(国科发基[2015]63号)，通知中强调了为贯彻落实国家中长期科学和技术发展规划纲要（2006-2020）和国家“十二五”科学和技术发展规划...
2015-03-18
高可信软件技术教育部重点实验室年会暨第四届高可信软件技术研讨会在北京召开
2014年度高可信软件技术教育部重点实验室年会暨第四届高可信软件技术研讨会，于1月15日在北京大学博雅酒店召开。首先，梅宏院士对参加会议的人员表示热烈的欢迎和衷心的感谢！其次，会议分两个阶段进行：第一阶段，邀...
2015-01-15
日本国立情报学研究所胡振江教授来实验室讲课
        2012年7月18日至8月1日，日本国立情报学研究所胡振江教授来高可信软件技术教育部重点实验室讲授了题为《Programming Algebra for formal Construction of Correct Software》的暑期课程，由赵海燕副教授主持...
2012-12-20
首页上页1...6768697071...73下页尾页

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