一、特邀报告
序号 |
报告名称 | 报告人 |
会议名称 | 日期 | 地点 |
1 |
关于“Project Census”作了技术报告 |
周明辉 |
OW2 OSCi |
2011.03.23 |
北京大学 |
2 |
关于“Internetware”作了工作报告 |
黄罡 |
OW2 OSCi |
2011.03.23 |
北京大学 |
3 |
关于“云计算国际标准化”作了工作报告 |
赵俊峰 |
OW2 OSCi |
2011.03.23 |
北京大学 |
4 |
在大会上作了技术报告 |
焦文品 |
第8届IEEE自主和自治系统工程 国际会议 |
2011.04.27-29 |
美国拉斯维加斯 |
5 |
Does initial environment impact the future of developers? |
周明辉 |
2011软件工程大会（ICSE) |
2011.05.24-28 |
美国夏威夷 |
6 |
Towards a More Fundamantal Explanation of Constraints in Feature Models: A Requirement-Oriented Approach |
赵海燕 |
2011年第12届国家软件复用会议 |
2011.06.13-16 |
韩国浦项 |
7 |
Binary-Search Based Verification of Feature Models |
张伟 |
2011年第12届国家软件复用会议 |
2011.06.13-16 |
韩国浦项 |
8 |
实证软件工程--程序员成熟度的度量 |
周明辉 |
NASAC2011的青年学者论坛 |
2011.10.29 |
北京 |
9 |
Modeling Trustworthy Requirements:Does Control Theory Help?International Workshop on Evolving Critical Software Systems |
金芝 |
2011.06.07 |
上海 |
|
10 |
On Large structural parameters in random constraint satisfaction problems,Mini-Workshopon ecent Progresses in Recent Progresses in Complex Network Research |
刘田 |
2011.03.14 |
中科院理论物理所 |
|
11 |
Epistemic logics:a Computationally Grounded Perspective |
苏开乐 |
2011.10 |
广州 |
二、实验室主办、承办国际国内会议
序号 |
会议名称 | 日期 | 国内或国际 |
承办人 | 备注 |
1 |
The 2nd PKU-NII International Workshop on Advanced Software Engineering（第二届北京大学 --日本国立情报学研究所国际“高级软件工程”双边研讨会） |
2011.10.20-23 |
国际 |
梅宏、金芝、赵海燕 |
|
2 |
首届中美计算机软件研讨会 |
2011.09.27-29 |
国际 |
陈一峯 |
|
3 |
GPU集群高级程序设计研讨会 |
2011.08.29-31 |
国内 |
陈一峯 |
|
4 |
第5届“ABC方法中的双向变换”国际研讨会 |
2011.03.17-19 |
国际 |
赵海燕 |
|
5 |
2011国际逻辑研讨会 |
2011.05.11-14 |
国际 |
苏开乐 |
|
6 |
RFIDSec Asia 2011 |
2011.04.06-08 |
国内 |
陈钟 |
|
7 |
RFID应用和安全2011中日研讨会 |
2011.07.21-22 |
国际 |
陈钟 |
|
8 |
ISHCS2011,International Symposium on High Confidence Software |
2011.12.16-17 |
国际 |
梅宏、张路 |
三、互访情况
序号 |
日期 | 地点 |
访问方（单位）-> 接待方（单位） | 备注 |
1 |
2011.07.08-09.06 |
香港 |
曹永知-->香港城市大学 |
|
2 |
2011.11.28-12.04 |
德国 |
黄罡-->International Workshop on Models at Runtime |
|
3 |
2011.07.03-10 |
美国 |
刘譞哲-->International Conference on Web Services |
|
4 |
2011.09.22-26 |
韩国 |
刘譞哲-->ISO SG-38 SOA Standard Meeting |
|
5 |
2011.10.20-22 |
日本 |
刘譞哲-->The 2nd PKU-NII International Workshop on Advanced Software Engineering |
|
6 |
2011.05.22-24 |
美国 |
孙艳春-->The 24th IEEE-CS Conference on Software Engineering Education and Training |
|
7 |
2011.07.07-09 |
美国 |
孙艳春-->The 23th International Conference on Software Engineering and Knowledge Engineering |
|
8 |
2011.04.27-29 |
美国 |
焦文品-->8th IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems |
|
9 |
2011.10.21-23 |
日本 |
焦文品-->2nd NII/PKU International Joint Workshop on Advanced Software Engineering |
|
10 |
2011.06.30-07.17 |
英国 |
金芝-->Queen' s University of Belfast,UK |
|
11 |
2011.05.26-06.01 |
浙江 |
刘田-->浙江师范大学 |
|
12 |
2011.07.17-24 |
西班牙 |
刘田-->巴塞罗那大学 |
|
13 |
2011.08.08-09 |
甘肃兰州 |
许进、刘田-->西北师范大学 |
|
14 |
2011.08.10-14 |
吉林长春 |
刘田-->东北师范大学计算机学院 |
|
15 |
2011.08.15-17 |
山东青岛 |
苏开乐、刘田-->山东科技大学 |
|
16 |
2011.11 |
美国 |
陈一峯-->University of California at Los Angeles |
|
17 |
2011.11 |
美国 |
陈一峯-->Stanford University |
|
18 |
2011.11 |
美国 |
陈一峯--->University of California,San Diego |
|
19 |
2011.03 |
澳门 |
陈一峯--->United Nations University/International Institute for Software Technology |
|
20 |
2011.07.06 |
北京大学 |
Prof.Howie.Huang,George Washingtong Unviersity--->重点实验室 |
|
21 |
2011.01.13-14 |
新加坡 |
崔斌--->National University of Singapore,SOC-Chinese universities research Workshop |
|
22 |
2011.06.12-16 |
日本 |
赵海燕-->Pohang University of Science and Technoligy(POSTECH0,Korea,International Conference on Software Reuse |
|
23 |
2011.10.14-20 |
韩国 |
赵海燕-->National Institute of Informatics,Japan,2nd NII/PKU International Joint Workshop on Advanced Software Engineering |
|
24 |
2011.02.27-03.04 |
日本 |
赵海燕-->National Institute of Informatics,Japan |
|
25 |
2011.09.27 |
香港 |
王腾蛟-->香港中文大学 |
|
26 |
2011.07.10-14 |
美国 |
陈钟-->参加2011国际会议 |
|
27 |
2011.07.20-27 |
日本 |
陈钟-->日本九州大学、日本九州工业大学 |
|
28 |
2011.11.29-12.03 |
韩国 |
陈钟-->韩国信息安全研究所 |
|
29 |
2011.12.03-12 |
马来西亚 |
刘田-->马来西亚玻璃市大学 |
|
30 |
2011.06.12-18 |
希腊 |
高军-->希腊SIGMOD2011 |
四、学术报告
序号 |
日期 | 报告内容 | 报告人 | 地点 |
1 |
2011.02.22 |
Developing software in a parallel world |
微软研究院--Judith Bishop教授 |
北京大学 |
2 |
2011.03.18 |
Open Software Research |
德国University of Erlangen-Nuremberg--Dirk Riehle教授 |
北京大学 |
3 |
2011.04.03 |
Weak Compieteness Notions for Exponential Time |
德国海德堡大学--Klaus Ambos-Spies教授 |
北京大学 |
4 |
2011.05.18 |
Cost Minimization while Satisfying Hard/Soft Timing Constraints for Heterogeneous Embedded Systems |
Dr.Meikang Qiu University of Kentucky |
北京大学 |
5 |
2011.06.17 |
Learning from Structured Data:Models and Applications |
南加州大学--刘燕博士 |
北京大学 |
6 |
2011.06.24 |
Social Computing and Political Analysis Applications |
Professor Paul Resnick,University of Michigan |
北京大学 |
7 |
2011.07.01 |
Rules of Thmb for IT Product Evaluations |
Atsec information security corporation--Yi Mao博士 |
北京大学 |
8 |
2011.09.01 |
Local Search and Constraint Satisfaction |
澳洲Griffith大学--Abdul Sattar教授 |
北京大学 |
9 |
2011.09.05 |
Exact real arithmetic-real numbers from the viewpoint of a computer scientist |
德国Trier大学--Norbert Mueller教授 |
北京大学 |
10 |
2011.09.05 |
The case of compactness,constructively |
德国Siegen大学--Hannes Diener博士 |
北京大学 |
11 |
2011.09.05 |
on Functions computable in nondeterministic polynomial time |
德国Siegen大学--Dieter Spreen教授 |
北京大学 |
12 |
2011.07.19 |
Social network analysis by compression:Not only space saving,but also insight gaining |
Pei Jian school of Computing science,simon FraserUniversity |
北京大学 |
13 |
2011.10.21 |
CPS系统的模型检测方法 |
美国CMU--Edmund M.Clarke |
北京大学 |
五、国内外期刊、会议任职
（一）国际期刊任职
序号 |
任职人 | 期刊名称 | 任职类型 | 备注 |
1 |
梅宏 |
IEEE Transaction on Service Computing |
Associate Editor |
|
2 |
梅宏 |
International Journal of Web Services Research |
Editorial Board |
|
3 |
梅宏 |
International Journal of Software and Informatics |
Editorial Board |
|
4 |
黄罡 |
International Journal of Internet Services and Applications |
Editorial Board |
|
5 |
金芝 |
Expert Systems:The Journal of Knowledge Engineering |
编委 |
|
6 |
崔斌 |
IEEE Transactions on Knowledge and Data Engineering |
Associate Editor |
|
7 |
崔斌 |
The VLDB Journal |
Editor |
（二）国际会议任职
序号 |
任职人 |
会议名称 | 任职类型 | 备注 |
1 |
梅宏 |
International Conference on Web Services(ICWS 2011) |
PC Member |
|
2 |
梅宏 |
International Conference on Software Engineering and Knowledge Engineering(SEKE 2011) |
PC Member |
|
3 |
梅宏 |
International Conference on Quality Software(QSIC 2011) |
PC Member |
|
4 |
黄罡 |
International Conference on Middleware(Middleware 2011) |
PC Member |
|
5 |
黄罡 |
International Symposium on Service Oriented System Engineering(SOCA 2011) |
PC Member |
|
6 |
黄罡 |
International Workshop onModels@runtime |
PC Member |
|
7 |
金芝 |
The 35th IEEE Computer Software and Applications Conference(COMPSAC 2011) |
PC Co-Chrir |
|
8 |
金芝 |
The 19th International Conference on Requirements Engineering(RE 2011) |
PC Member |
|
9 |
陈一峯 |
IEEE International Parallel & Distributed Processing Symposium(IPDPS 2012) |
评委 |
|
10 |
陈一峯 |
International Conference for High Performance Computing,Networking,Storage and Analysis(SC 2012) |
评委 |
|
11 |
陈一峯 |
9th International Colloquim on Theoretical Aspects of Computing 2012(ICTAC 2012) |
评委 |
|
12 |
陈一峯 |
Computer Science and Engineering 2011(CSE 2011) |
评委 |
|
13 |
崔斌 |
ICDE 2011 |
PC Vice Chair |
|
14 |
崔斌 |
ACM MM, SIGIR, CIKM,SSTD, WebDB, DEXA, DASFAA,APWeb |
PC Member |
|
15 |
邵维忠 |
5th IEEE International Conference on Theoretical Aspects of Software Engineering(TASE 2011) |
Programme committee |
|
16 |
赵海燕 |
5th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition(Bi-Trans in ABC) |
PC Chair |
|
17 |
赵海燕 |
2nd NII/PKU International Joint Workshop on Advanced Software Engineering |
PC Member |
|
18 |
赵海燕 |
International Workshop on Evolving Critical Software Systems |
PC Member |
|
19 |
谢冰 |
Software Trustworthiness(SoTrust 2011) |
Program Co-Chairs |
|
20 |
谢冰 |
Software Trustworthiness(SoTrust 2010) |
Prgram Co-Chairs |
|
21 |
谢冰 |
The 7th International Conference on Autonomic and Trusted Computing(ATC 2010) |
Prgram Co-Chairs |
|
22 |
王腾蛟 |
16th International Conference on Database Systems for Advanced Applications (DASFAA 2011) |
Industy Chair |
|
23 |
王腾蛟 |
2nd International Workshop on Unstructured Data Management(USDM 2011) |
PC Chair |
|
24 |
陈钟 |
5th ACM Aymposium on Information,Computer and Communications Security |
Tutorial Chair |
|
25 |
陈钟 |
2011 Workshop on RFID Security(RFIDsec'11 Asia) |
Chair |
（三）国内会议任职
| 序号 | 任职人 | 会议名称 | 任职类型 | 备注 |
1 |
梅宏 |
2011年全国软件应用大会 |
主席 |
|
2 |
刘田 |
2011图论与系统优化学术年会 |
组委会 |
|
3 |
崔斌 |
NDBC 2011 |
PC member |
|
4 |
赵海燕 |
2nd CCF-SIGRE Workshop on Requirements Engineering |
PC Chair |