一、特邀报告
序号
|
报告名称 | 报告人
|
会议名称 | 日期 | 地点 |
1 |
Software Research and Development in China |
梅宏 |
2009 IBM Software Strategy Meeting |
2009.06 |
|
2 |
软件中间件发展趋势及我国自主创新之路 |
梅宏 |
2009中国中间件自主创新高峰论坛 |
2009.10 |
|
3 |
从集成创新到原始创新--北京大学与金蝶中间件合作展望 |
黄罡 |
2009中国中间件自主创新高峰论坛 |
2009.10 |
|
4 |
面向特征的需求建模以及相关技术的研究 |
张伟 |
2009年全国软件与应用学术会议 |
2009.09 |
|
5 |
Requirements Modeling for Internetware |
金芝 |
18th International Conference on Information Systems Development |
2009.09 |
二、实验室主办、承办国际国内会议
序号 |
会议名称 | 日期 | 国内或国际 |
承办人 |
备注 |
1 |
Ist Asia-Pacific Symposium on Internetware |
2009.10.17-18 |
国际 |
||
2 |
4th International Conference on Bio-Inspired Computing:Theories and Applications |
2009.10.16-19 |
国际 |
||
3 |
3rd International Workshop on Bidirectional Trnasformation in Architecture-Based Component Composition |
2009.11.14-18 |
国际 |
||
4 |
图论与系统优化专业委员会2009学术年会 |
2009.09.04-06 |
国内 |
||
5 |
北京运筹学会2009学术年会 |
2009.11.29 |
国内 |
三、互访情况
序号 |
日期 | 地点 |
访问方（单位）-> 接待方（单位） | 备注 |
1 |
2009.01.19-02.04 |
澳大利亚 |
金芝---->澳大利亚悉尼技术大学 |
|
2 |
2009.03.11 |
北京大学 |
悉尼技术大学的张成奇教授---->重点实验室 |
|
3 |
2009.03.30 |
北京大学 |
Avaya Research Labs的Audris Mockus博士---->重点实验室 |
|
4 |
2009.04.27-04.02 |
北京大学 |
AVAYA Research Labs软件室主任David Weiss---->重点实验室 |
|
5 |
2009.06 |
北京大学 |
Arizona State Univ.Wei-Tek Tsai教授---->重点实验室 |
|
6 |
2009.06.02-06 |
北京大学 |
North Carolina State Univ的谢涛---->重点实验室 |
|
7 |
2009.08.07 |
北京大学 |
香港科技大学的博士---->重点实验室 |
|
8 |
2009.08.01-15 |
英国 |
金芝---->英国女王大学 |
|
9 |
2009.09.07.23 |
北京大学 |
Oxford Brookes Univ.的朱鸿教授---->重点实验室 |
|
10 |
2009.10.25-11.05 |
北京大学 |
AVAYA实验室资深软件科学家Audris Mockus博士---->重点实验室 |
|
11 |
2009.11.02.-07 |
荷兰 |
陈一峯研究员---->World Congress on Formal Methods |
|
12 |
2009.11.06 |
北京大学 |
IBM杰出工程师Jason R.McGee---->重点实验室 |
|
13 |
2009.11.23-28 |
奥地利 |
陆汝钤院士、金芝教授---->维也纳大学 |
|
14 |
2009.11.27 |
北京大学 |
IBM华生研究中心资深研究员张良杰博士---->重点实验室 |
|
15 |
2009.11.30 |
北京大学 |
香港科技大学刘云浩、陈雷---->重点实验室 |
四、学术报告
序号 |
日期 | 报告内容 | 报告人 | 地 点 |
1 |
2009.03.10 |
Zadeh模糊集合理论的缺点错误及其克服--新模糊集合论 |
北京科技大学--高庆狮院士 |
|
2 |
2009.03.30 |
Measuring Transfer of Code and Developer Productivity |
Avaya Research Labs,USA--Dr.Audris Mockus |
|
3 |
2009.04.28 |
Dynamics of Industrial Software Engineering Research |
AVAYA Research Labs,USA--Prof.David Weiss |
|
4 |
2009.05.27 |
计算机科学技术总论 |
南京大学--徐家福教授 |
|
5 |
2009.06 |
An Integrated Process and Infrastructure for Service-Oriented Computing |
Arizona State Univeristy,USA--Prof.Wei-Tek Tsai |
|
6 |
2009.06.05 |
Automated Developer Testing:Achievenents and Challenges |
University of North Calorina,USA--Dr.Tao Xie |
|
7 |
2009.06.12 |
A Framework for Real-Time Service-Oriented Architecture |
University of California at Irvine,USA-- Prof.Kwei-Jay Lin |
|
8 |
2009.06.23 |
Grammar Inference Technology Applications in Software Engineering |
University of Alabama--Prof.Barrett R.Bryant |
|
9 |
2009.08.11 |
软件测试及其工具PolyFlow |
Avaya Research Labs,USA--Dr.Jenny Li |
|
10 |
2009.09.09 |
Derivation and analysis of software quality based on architectural designs |
Brookes University,UK--Prof.Hong Zhu |
|
11 |
2009.10.21 |
Compositional Development of Distributed Applications:Deriving Component Designs from Global Requirements |
Univeristy of Ottawa,Canada--Prof.Bochmann |
|
12 |
2009.10.28 |
Embedded Systems Design-Scientific Challenges and Work Directions |
Verimag Lab,France--Prof.Joseph Sifakis |
|
13 |
2009.11.06 |
BM Cloud Computing and Middleware:An application view of the cloud |
IBM--Dr.Jason R.McGee |
五、国内外期刊、会议任职
（一）国际期刊任职
序号 |
任职人 | 期刊名称 | 任职类型 | 备注 |
1 |
崔斌 |
IEEE Transactions on Knowledge and Data Engineering |
Associate Editor |
|
2 |
金芝 |
Expert Systems:the Journal of Knowledge Engineering |
Editorial Board |
|
3 |
梅宏 |
IEEE Transaction on Service Computing |
Associate Editor |
|
4 |
梅宏 |
International Journal of Web Services Research |
Editorial Board |
|
5 |
梅宏 |
International Jurnal of Software and Informatics |
Editorial Board |
|
6 |
张路 |
Journal of Software Maintenance and Evolution:Research and Practice . |
Editorial Board |
|
7 |
张路 |
Software Testing,Verification and Reliability |
Editorial Board |
（二）国际会议任职
序号 |
任职人 |
会议名称 | 任职类型 |
1 |
许进 |
Fourth International Conference on Bio-Inspired Computing:Theories and Applications |
General Co-Chair |
2 |
金芝 |
3rd International Conference on Knowledge Science,Engineering and Management 2009 |
PC Co-Chair . |
3 |
金芝 |
12th International Conference on Principles of Practice in Multi-Agent Systems 2009 |
PC Co-Chair |
4 |
王腾蛟 |
ACM 18th Conference on Information and Knowledge Management 2009 |
Local Chair |
5 |
曹东刚 |
International Coference on Cooperation and Promotion of Informaion Resources in Science and Technology 2009 |
PC Member |
6 |
曹永知 |
International Conference on Cooperation and Promotion of Information Resources in Science and Technology 2009 |
PC Member |
7 |
崔斌 |
International Conference on Very Large Data Bases 2009 |
PC Member |
8 |
崔斌 |
International Conference on Data Engineering 2009 |
PC Member |
9 |
崔斌 |
International Conference on Database and Expert Systems Applications 2009 |
PC Member |
10 |
崔斌 |
International Conference on Database Systems for Advanced Applications 2009 |
PC Member |
11 |
崔斌 |
Joint International Conferences on Asia-Pacific Web Conference and Web-Age Information Management 2009 |
PC Member |
12 |
崔斌 |
ICDE International Workshop on Information & Software as Services 2009 |
PC Member |
13 |
崔斌 |
ACM Conference on Informaion and Knowledge Management |
PC Member |
14 |
崔斌 |
International Conference on Cooperative Information Systems |
PC Member |
15 |
崔斌 |
International Conference on Semantics,Knowledge and Grid |
PC Member |
16 |
崔斌 |
International Conference on Collaborative Computing:Networking,Applications and Worksharing |
PC Member |
17 |
崔斌 |
International Conference on Web Information Systems and Mining |
PC Member |
18 |
崔斌 |
International Conference on Machine Learning and Cybernetics |
PC Member |
19 |
崔斌 |
International Conference on Software Engineering Research,Management and Applications |
PC Member |
20 |
高军 |
Joint International Conferences on Asia-Pacific Web Conference and Web-Age Information Management 2009 |
PC Member |
21 |
黄罡 |
International Conference on Middleware 2009 |
PC Member |
22 |
黄罡 |
International Conference on Software Engineering Research,Management and Applications 2009 |
PC Member |
23 |
黄罡 |
International Workshop onModels@Run.Time2009 |
PC Member |
24 |
黄罡 |
International Conference on Feature Interaction |
PC Member |
25 |
金芝 |
9th International Conference in Autonomous Agents and Multiagent Systems 2009 |
PC Member |
26 |
金芝 |
IEEE International Conference on Services Computing 2009 |
PC Member |
27 |
金芝 |
The 9th International Symposium on Autonomous Decentralized Systems 2009 |
PC Member |
28 |
金芝 |
The Australasian Joint Conference on Artificial Intelligence 2009 |
PC Member |
29 |
梅宏 |
International Conferece on Quality Software 2009 |
PC Member |
30 |
梅宏 |
International Conference on Software Reuse 2009 |
PC Member |
31 |
梅宏 |
International Conference on Web Engineering 2009 |
PC Member |
32 |
梅宏 |
International Symposium on Theorectical Aspects of Software Engineering 2009 |
PC Member |
33 |
苏开乐 |
2nd International Conference on Security of Information and Networks(SIN 2009)6-10October 2009 |
PC Member |
34 |
苏开乐 |
2nd IEEE International Workshop on Software Engineering for Context Aware Systems and Applications IN CONJUNCTION WITH IEEE COMPSAC2009 |
PC Member |
35 |
苏开乐 |
5th International Conference on Natural Computation 2009 |
PC Member |
36 |
苏开乐 |
6th International Conference on Fuzzy Systems and Knnowledge Discovery 2009 |
PC Member |
37 |
苏开乐 |
4th IEEE International Workshop on Engineering Semantic Agent Systems |
PC Member |
38 |
苏开乐 |
2nd Workshop on Logics for Intelligent Agents and Multi-Agent Systems 2009 |
PC Member |
39 |
苏开乐 |
6th Conference on Intelligent Information Procesing 2009 |
PC Member |
40 |
苏开乐 |
2nd International Conference on Agents and Artificial Intelligence 2009 |
PC Member |
41 |
苏开乐 |
3rd International Conference on Knowledge Science,Engineering and Management 2009 |
PC Member |
42 |
苏开乐 |
6th International ISC Conference on Information Security and Cryptology 2009 |
PC Member |
43 |
王千祥 |
3nd International Conference on Secure System Integration and Reliability Improvement 2009 |
PC Member |
44 |
王千祥 |
6th International Workshop on Software Cybernetics 2009 |
PC Member |
45 |
王千祥 |
21th International Conference on Software Engineering and Knowledge Engineering 2009 |
PC Member |
46 |
王千祥 |
9th International Conference on Quality Software 2009 |
PC Member |
47 |
王腾蛟 |
Joint International Conferences on Asia-Pacific Web Conference and Web-Age Information Management 2009 |
PC Member |
48 |
王亚沙 |
International Conference on Software Process 2009 |
PC Member |
49 |
张路 |
International Conference on Software Maintenance 2009 |
PC Member |
50 |
张路 |
Working Conference on Source Code Analysis and Manipulation 2009 |
PC Member |
51 |
张路 |
International Workshop on Mutation Analysis 2009 |
PC Member |
52 |
张伟 |
International Conferene on Requirements Engineering(RE) 2009 |
PC Member |
53 |
赵海燕 |
2nd International Workshop on Bidirectional Transformation in Architecture Based Component Composition 2009 |
Organizer |
54 |
赵海燕 |
3rd International Workshop on Bidirectional Transformation in Architecture-Based Component Composition 2009 |
Organizer |