新闻动态-高可信软件技术教育部重点实验室(北京大学)

关于

新闻动态

首页 >> 新闻动态

日本国立情报学研究所胡振江教授来实验室讲课

2012年7月18日至8月1日，日本国立情报学研究所胡振江教授来高可信软件技术教育部重点实验室讲授了题为《Programming Algebra for formal Construction of Correct Software》的暑期课程，由赵海燕副教授主持...

2012-12-20

973计划项目《基于网络的复杂软件的服务质量与可信度研究》在威海召开2012年度会议

2012年8月6--7日，梅宏院士任首席科学家的973计划项目《基于网络的复杂软件的服务质量与可信度研究》在威海召开2012年度会议。

2012-12-20

周明辉等参加MSRVision 2020

周明辉副教授等参加了2012年8月20—24日在加拿大Queen University举行的MSRVision 2020会议。此次会议由Queen University赞助，只能受邀参加。会议聚集了国际软件工程领域知名专家，讨论软件工程数据挖掘所解...

2012-12-20

日立集团IT使用者会代表团来访

2012年9月7日下午，日立集团IT使用者会代表团一行25人来访。黄罡教授和杨光临副教授主持接待。交流见面会上，代表团负责人坂下忠夫首先介绍了他们此行主要是为了了解北京大学在信息技术教育方面对学生的培养...

2012-12-20

周明辉副教授参加了第一届大数据科学与工程国际学术研讨会的大数据工程论坛

2012年9月13日下午，周明辉副教授参加了在北航召开的第一届大数据科学与工程国际学术研讨会，作为大数据工程论坛的panelist陈述了关于软件工程大数据的观点。论坛其他的panelist包括南京大学的吕建老师、国防...

2012-12-20

首页上页1...707172737475下页尾页