新闻动态

首页 >> 新闻动态
国家自然科学基金重点项目"互联网环境下基于知件的需求驱动知识服务理论和技术研究...
由金芝教授牵头，中国科学院数学和系统科学研究院以及华北大学作为参与单位的国家自然科学基金重点项目“互联网环境下基于知件的需求驱动知识服务理论和技术研究”于2015年1月22日在北京通过基金委的项目中期检查，金...
2015-03-20
金芝教授应邀访问日本国立情报学研究所
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
首页上页1...6970717273...75下页尾页

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