一、特邀报告
序号 |
报告名称 | 报告人 |
会议名称 | 日期地点 |
备注 |
1 |
网络化应用支撑工具--发展现状及趋势 |
梅宏 |
透明计算/云计算产学研讨会 |
2010.07 |
|
2 |
Constraint satisfaction problems with growing domains(Invited talk) |
刘田 |
International workshop on statistical physics and computerscience |
2010.07 |
|
3 |
企业IT架构模式 |
黄罡 |
2010年中国企业管理高峰论坛之企业IT架构分论坛 |
2010.10 |
|
4 |
The Challenge and Practice of Creating Software Engineering Curriculum |
孙艳春 |
International Symposium on Collaborative Software Engineering |
2010.10 |
二、实验室主办、承办国际国内会议
序号 |
会议名称 | 日期 | 国内或国际 |
承办人 | 备注 |
1 |
"ABC方法中的双向变换“国际研讨会 |
2010.03-12-18 . |
国内 |
||
2 |
第四届有限域及其应用国际研讨会 |
2010.05 |
国际 |
||
3 |
Seventh International Conference on Computability and Complexity in Analysis . |
2010.06.21-25 |
国际 |
||
4 |
The Ist China-Japan Workshop on RFID Application and Security |
2010.07.26-27 |
国际 |
||
5 |
第27届中国数据库学术会议 |
2010.10.13-16 |
国内 |
||
6 |
中国密码学会2010年年会 |
2010.10.16-18 |
国内 |
||
7 |
International Conference on Autonomic and Trusted Computing |
2010.10.26-29 |
国际 |
||
8 |
International Workshop on Software Trustworthiness |
2010.10.26-29 |
国际 |
||
9 |
National Annual Software Applications Conference |
2010.11.04-06 |
国内 |
||
10 |
Asia-Pacific Symposium on Internetware |
2010.11.10-12 |
国际 |
三、互访情况
序号 |
日期 | 地点 | 访问方（单位）-> 接待方（单位） | 备注 |
1 |
2010.01.18-19 |
新加坡 |
崔斌---->National University of Singapore,SoC Chinese universities Research Workshop 2010 . |
|
2 |
2010.02.01-28 |
澳大利亚 |
金芝---->悉尼科技大学 |
|
3 |
2010.02.22-25 |
日本 |
陈钟---->九州大学和九州工业大学 |
|
4 |
2010.03.01-30 |
日本 |
赵海燕---->日本国立情报学研究所 |
|
5 |
2010.03.21 |
北京大学 |
九州大学樱井幸一教授---->重点实验室 |
|
6 |
2010.05.07-08 |
北京 |
刘田---->北京航空航天大学 |
|
7 |
2010.05.13 |
新加坡 |
新加坡国立研究院Tieyan li---->重点实验室 |
|
8 |
2010.05.20 |
澳大利亚 |
Didar Zowghi教授---->重点实验室 |
|
9 |
2010.06.03 |
法国 |
国立南巴黎电信学院的Daqing Zhang教授---->重点实验室 |
|
10 |
2010.06.05 |
北京大学 |
国立情报学研究所GRACE中心胡振江、Platon、石川冬树、郑显志---->重点实验室 |
|
11 |
2010.06.11 |
北京大学 |
张景中院士---->重点实验室 |
|
12 |
2010.06.28 |
北京大学 |
佛罗里达国家大学何旭东教授---->重点实验室 |
|
13 |
2010.07.08-11 |
北京 |
刘田---->中科院理论物理所 |
|
14 |
2010.07.09 |
美国 |
宾州州立大学Sencun Zhu教授---->重点实验室 |
|
15 |
2010.07.22 |
北京大学 |
荷兰Vrije大学Hans Van Vlient教授---->重点实验室 |
|
16 |
2010.07.23 |
北京大学 |
美国Florida Atlantic University Eduardo B.Fernandez教授---->重点实验室 |
|
17 |
2010.07.29-08.11 |
北京大学 |
AVAYA实验室资深软件科学家Audris Mockus博士---->重点实验室 |
|
18 |
2010.08.04 |
北京大学 |
IIsun You教授---->重点实验室 |
|
19 |
2010.08.10-13 |
武汉 |
刘田---->武汉大学 |
|
20 |
2010.08.13-15 |
南京 |
刘田---->南京邮电大学 |
|
21 |
2010.09.16-30 |
英国 |
金芝---->贝尔法斯特大学 |
|
22 |
2010.09.22-10.02 |
北京大学 |
德国专家Norbert Muller---->重点实验室 |
|
23 |
2010.10.23-24 |
长春 |
刘田---->东北师范大学 |
|
24 |
2010.10.27 |
北京大学 |
挪威Simula Research Laboratory岳涛博士---->重点实验室 |
|
25 |
2010.11.18 |
北京 |
刘田---->中科院软件所 |
|
26 |
2010.11.25 |
北京 |
刘田---->中科院计算所 |
|
27 |
2010.11.20 |
北京大学 |
Didar Zowghi教授---->重点实验室 |
|
28 |
2010.11.23 |
北京大学 |
荷兰CLEBA Group director李海宽博士---->重点实验室 |
|
29 |
2010.11.26-27 |
北京大学 |
浦项科技大学Kyo Chul Kang教授---->重点实验室 |
|
30 |
2010.12.01 |
北京大学 |
九州大学樱井幸一教授---->重点实验室 |
|
31 |
2010.12.08-20 |
法国、意大利 |
陈钟---->法国南巴黎高等通讯学校奥、Nokia、意大利博洛尼亚大学 |
|
32 |
2010.12.13-15 |
澳大利亚 |
刘哲---->国际服务计算与应用大会 |
四、学术报告
序号 |
日期 | 报告内容 | 报告人 | 地 点 |
1 |
2010.04.09 |
Weak Completeness Notions for Exponential Time |
德国海德堡大学--Klaus Ambos-Spies教授 |
|
2 |
2010.04.19 |
Some Algorithms for SAT and Max-SAT |
法国University of Picardie Jules Verne--Chumin Li 教授 |
|
3 |
2010.04.27 |
Logic and Epistemology |
荷兰阿姆斯特丹大学和美国斯坦福大学-- Johan von Benthem教授 |
|
4 |
2010.05.28 |
Discovering New Knowledge from the Internet |
Prof,Jie Wang,University of Massachusetts,Lowell |
|
5 |
2010.06.03 |
Smart Home,Pervasive elderly care and context-aware computing |
法国国立南巴黎电信学院--Daqing Zhang教授 |
|
6 |
2010.06.04 |
Incremental Learning of Log Formats |
上海交通大学--朱其立教授 |
|
7 |
2010.06.11 |
自动推理与教育信息技术 |
电子科大-中科院成都计算机应用所--张景中院士 |
|
8 |
2010.06.11 |
TopBT:一个感知互联网拓扑结构的BitTorrent软件 |
美国俄亥俄州立大学--张晓东教授 |
|
9 |
2010.06.28 |
A Formal Framework for Software System Modeling,Analysis and Realization |
美国俄亥俄州立大学--何旭东教授 |
|
10 |
2010.07.09 |
Processing Sparse and Irregular Digital Image Data |
University of UIster,UK--Prof,Bryan Scotney |
|
11 |
2010.07.09 |
INPAC:An Enforceable Incentive Scheme for Wireless Networks using Network Coding |
State University of New York,Buffalo--仲盛副教授 |
|
12 |
2010.07.12 |
How to Write and Publish Top-Quality Research Papers |
University of Vermont,USA--Prof,Xindong Wu |
|
13 |
2010.07.12 |
Automatic Detection of Sub-Kilometers Craters in High Resolution Planetary Images |
University of Massachusetts,USA--Dr,Wei Ding |
|
14 |
2010.07.19 |
Embedded System Virtual Prototyping |
LIAMA Sino-French Laboratory,China-- Dr,Vania JoIoboff |
|
15 |
2010.07.20 |
Data Fusion Techniques applied to Sensor Networks |
CRI-CEA,France--Prof, Suzanne Lesecq |
|
16 |
2010.07.21 |
Modelling and Analysis of Timed Systems |
Uppsala University,Sweden--Prof.Wang Yi |
|
17 |
2010.07.22 |
Timing Analysis and Timing Predictability |
Reinhard Wilhelm,Saarland University,Gernany-- Prof.Dr,H.c.mult |
|
18 |
2010.07.23 |
Designing Secure Architectures using Security Patterns |
美国Florida Atlantic University--Eduardo B. Fernandez教授 |
|
19 |
2010.10.09 |
Reusing Open Source Software:Issues on Cods Search and License Identification |
日本大阪大学--Katsuro Inoue教授 |
|
20 |
2010.10.13 |
软件验证与计算机辅助证明 |
中科院软件所--张健研究员 |
|
21 |
2010.10.13 |
海量信息的物理学 |
北京航空航天大学--许可教授 |
|
22 |
2010.11.27 |
Automatically Deriving a UML Analysis Model from a Use Case Model |
挪威Simula Research Laboratory--岳涛博士 |
|
23 |
2010.11.23 |
大型复杂系统的重构技术 |
荷兰CLEBA Group--李海宽博士 |
|
24 |
2010.11.26 |
Software Variability Management |
韩国浦项科技大学--Kyo Chul Kang教授 |
|
25 |
2010.12.07 |
Hardware and Software Challenges in Data-Intensive Computing |
George Washington University--Prof.Hao(Howie) Huang |
|
26 |
2010.12.16 |
Mapping a Research Agenda |
美国North Caroling State University--谢涛博士 |
|
27 |
2010.12.21 |
Automated Fixing of Programs with Contracts |
ETH Zurich--魏毅 |
|
28 |
2010.12.22 |
混成通信顺序进程的一个演算 |
中科院软件所--周巢臣院士 |
|
29 |
2010.12.23 |
Watching UserGenerated Videos:Impact of Recommendation Systems and Recommendation--Aware Prefetching |
University of Massachusetts,Amherst-- Professor Lixin Gao |
五、国内外期刊、会议任职
（一）国际期刊任职
序号 |
任职人 |
期刊名称 | 任职类型 | 备注 |
1 |
崔斌 |
IEEE Transactions on Knowledge and Data Engineering |
Associate Editor |
|
2 |
黄罡 |
Journal of Internet Services and Applications |
Editorial Board |
|
3 |
金芝 |
Expert Systems:The Journal of Knowledge Engineering |
Editonal Board |
|
4 |
梅宏 |
IEEE Transaction on Service Computing |
Associate Editor |
|
5 |
梅宏 |
International Journal of Web Servives Research |
Editorial Board |
|
6 |
梅宏 |
International Journal of Software and Informatics |
Editorial Board |
|
7 |
孙艳春 |
IEEE SWEBOK Guide 2010(Guide to the Software Engineering Body of Knowledge) . |
Editor of the Software Design Knowledge Area . |
|
8 |
王千祥 |
International Journal of Cloud Applications and Computing |
Associate Editor |
|
9 |
张路 |
Journal of Software Maintenance and Evolution:Research and Practice |
Editorial Board |
|
10 |
张路 |
Software Testing,Verification and Reliablity |
Editorial Board |
（二）国际会议任职
序号 |
任职人 |
会议名称 | 任职类型 | 备注 |
1 |
陈钟 |
5th ACM Aymposium on Information,Computer and Communications Security |
Tutorial Chair |
|
2 |
陈钟 |
The 2010 International Conference on Autonomic And Trusted Computing |
Awards Chair |
|
3 |
陈钟 |
2011 Workshop on RFID Security |
Chair |
|
4 |
崔斌 |
International Conferences on Asia-Pacific Web Conference 2010 |
Tutorial Co-Chair |
|
5 |
金芝 |
4th InternationaI Conference on Knowledge Science,Engineering and Management(KSEM 2010) |
General Co-Chair . |
|
6 |
金芝 |
7th International Workshop on Software Cybernetics(IWSC 2010) |
PC Co-Chair |
|
7 |
王千祥 |
First International Workshop on Program Debugging in China(IWPDC) 2010 |
PC Co-Chair |
|
8 |
王腾蛟 |
12th International Asia-Pacific Web Conference(APWeb 2010) USD 2010 Workshop |
PC Chair |
|
9 |
谢冰 |
7th Intemational Conference on Autonomic and Trusted Computing |
PC Co-Chair |
|
10 |
谢冰 |
Ist Intemational Workshop on Spftware Trustworthiness 2010 |
PC Co-Chair |
|
11 |
曹东刚 |
IEEE International Workshop on Internet-based Virtual Computing Environment(iVCE) 2010 |
PC Member |
|
12 |
曹东刚 |
International Woekshop on Mobile Commerce and Services ,2010 |
PC Member |
|
13 |
曹永知 |
International Conference on Cooperation and Promotion of Information Resources in Science and Technology 2010 |
PC Member |
|
14 |
崔斌 |
International Conference on Very Large Data Bases 2010 |
PC Member |
|
15 |
崔斌 |
ACM SIGMOD International Conference on Management of Data 2010 |
PC Member |
|
16 |
崔斌 |
ACM SIGKDD Conference 2010 |
PC Member |
|
17 |
崔斌 |
International Conference on Database and Expert Systems Applications2010 |
PC Member |
|
18 |
崔斌 |
International Conference on Database Systems for Advanced Applications 2010 |
PC Member |
|
19 |
崔斌 |
ACM Conference on Information and Knowledge Management 2010 |
PC Member |
|
20 |
崔斌 |
International Conference on Web Information System Engineering 2010 |
PC Member |
|
21 |
崔斌 |
International World Wide Web Conference 2010(Poster Track) |
PC member |
|
22 |
崔斌 |
International Workshop on the Web and databases 2010 |
PC member |
|
23 |
黄罡 |
Interational Conference on Middleware 2010 |
PC Member |
|
24 |
黄罡 |
International Conference on ParallelProcessing |
PC Member |
|
25 |
黄罡 |
International Symposium on Service oriented System Engineering |
PC Member |
|
26 |
黄罡 |
International Conference on Service oriented Computing and Application |
Track Chair |
|
27 |
黄罡 |
International Workshop onModels@Run.Time2010 |
PC Member |
|
28 |
黄罡 |
International Workshop on Cloud Service 2010 |
PC Member |
|
29 |
金芝 |
5th IEEE International Symposium on Service-oriented System Engineering(SOSE 2010) |
PC Member |
|
30 |
金芝 |
4th IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE 2010) |
PC Member |
|
31 |
金芝 |
4th IEEE International Conference on Secure Software Integration and Reliability Improvement(SSIRI2010) |
PC Member |
|
32 |
金芝 |
9th International Conference on Autonomous Agents and Multi-agent Systems(AAMAS 2010) |
PC Membre |
|
33 |
金芝 |
13th Pacific Rim International Conference on Multi-Agents(PRIMA2010) |
PC Member |
|
34 |
梅宏 |
International Conference on Web Services(ICWS) 2010 |
PC Member |
|
35 |
梅宏 |
International Conference on Software Engineering and Knowledge Engineering(SEKE02010 |
PC Member |
|
36 |
梅宏 |
International Conference on Quality Software(QSIC)2010 |
PC Member |
|
37 |
孙艳春 |
ICSS2010(International Conference on Service Science) |
PC Member |
|
38 |
王千祥 |
International Computer Software and Applications Conference(COMPSAC)2010 |
PC Member |
|
39 |
王千祥 |
21th International Conference on Software Engineering and Knowledge Engineering 2010 |
PC Member |
|
40 |
王千祥 |
9th International Conference on Quality Software 2010 |
PC Member |
|
41 |
王千祥 |
Second Asia-Pacific Symposium on Internetware 2010 |
PC Member |
|
42 |
王千祥 |
7th International Workshop on Software Cybernetics 2010 |
PC Member |
|
43 |
王千祥 |
IEEE International Conference on Secure Software Integration and Reliability Improvement 2010 |
PC Member |
|
44 |
王亚沙 |
International Conference on Software Process 2010 |
PC Member |
|
45 |
张路 |
Working Conference on Source Code Analysis and Manipulation 2010 |
PC Member |
|
46 |
张路 |
International Conference on Autonomic and Trusted Computing(ATC) |
PC Member |
|
47 |
张路 |
International Workshop on Mutation Analysis 2010 |
PC Member |
|
48 |
张路 |
International Workshop on Program Debugging in China 2010 |
PC Member |
|
49 |
张路 |
International Workshop on Model Inference In Testing(MIIT)2010 |
PC Member |
|
50 |
张伟 |
International Workshop on Software Product Management(IWSPM)2010 |
PC Member |
（三）国内会议任职
序号 |
任职人 |
会议名称 | 任职类型 | 备注 |
1 |
陈钟 |
第7届全国智能CAD与数字娱乐学术会议 (CIDE2010)，2010 . |
主席 |
|
2 |
刘田 |
2010中国电子学会图论与系统优化学术年会 |
大会秘书长 |
|
3 |
刘田 |
约束满足问题研讨会 |
主要组织者之一 . |
|
4 |
王腾蛟 |
第27届中国数据库学术会议(NDBC 2010) |
程序委员会主席 |
|
5 |
许进 |
2010中国电子学会图论与系统优化学术年会 |
大会主席 |
|
6 |
杨冬青 |
第27届中国数据库学术会议(NDBC 2010) |
大会主席 |