新闻动态

首页 >> 新闻动态
孙艳春副教授参加了ICWS 2017会议
2017年6月26--30日，孙艳春副教授赴美国参加了ICWS2017会议，并做了会议论文“A Map-matching Service Designed for Courier Trajectories"。ICWS会议是服务计算领域的顶级会议，孙艳春副教授在与会期间与各位服务计...
2017-09-06
金芝教授访问意大利米兰理工大学，执行基金委重点国际合作项目
2017年7月，金芝教授和博士生李念语访问了意大利米兰理工大学，与Carlo Ghezzi教授和Christos Tsigkanos博士一起进行了合作研究。本次访问的目的，执行基金委重点国际合作项目“网构软件的自适应性建模和管理方法研究...
2017-09-06
金芝教授参加QRS2017并在会上作大会特邀报告
2017年7月25-28日，金芝教授参加了在捷克布拉格举行的2017年IEEE软件质量、可靠性和安全性（QRS2017)国际会议，并在会上作了题为“Engineering Fine-Grained Dependability Requirements"大会特邀报告。
2017-09-06
英国开放大学的Yijun Yu教授来访重点实验室
2017年8月8-16日,英国开放大学Yijun Yu博士来访重点实验室，与多位实验室成员进行了学术交流，并就基于问题框架的软件需求建模等问题与金芝教授进行了深入的探讨。与Yu教授一同来访的还有华东师范大学陈小红副教授和...
2017-09-06
郭耀、郝丹副教授，熊英飞研究员携研究生参加了国际软件工程大会ICSE 2017
2017年5月20--27日，重点实验室郭耀、郝丹副教授，熊英飞研究员携研究生参加了国际软件工程大会ICSE2017。在此次ICSE会上，重点实验室共发表2篇Research Track的论文、1篇Technical Briefing论文。
2017-06-09
首页上页1...3637383940...76下页尾页

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