一、特邀报告
序号 |
报告名称 | 报告人 |
会议名称 | 日期 | 地点 |
1 |
纠错算法及其优化 |
刘田 |
量子信息研讨会 |
2012.01.17 |
北京大学 |
2 |
二进制纠错算法及其优化 |
刘田 |
量子信息研讨会 |
2012.04.14 |
北京邮电大学 |
3 |
连续变量纠错算法 |
刘田 |
量子信息研讨会 |
2012.05.04 |
上海交通大学 |
4 |
树凸二部图上的算法 |
刘田 |
中科院计算所SIGMA讨论班 |
2012.10.25 |
中科院计算所 |
5 |
Computationally grounded epistemic logics |
苏开乐 |
Asian Worksop on Philosophical Logic |
2012.02.15-18 |
Jshikawa,Japan . |
6 |
Configuration checking:A new strategy in local search for SAT |
苏开乐 |
2nd International Chinese Scholar Workshop on KnowledgeRepresentation and Reasoning,Guiyang,China |
2012.06.17-22 |
贵阳 |
7 |
Local search approach to SAT problem |
苏开乐 |
2012 Computer Logic Workshop,Nanjing,China |
2012.05.12-15 |
南京 |
8 |
可满足性问题求解局部搜索方法 |
苏开乐 |
2012年中国理论计算科学学术年会 |
2012.08.18-19 |
海南 |
9 |
Learning and Researching with open Source Software |
周明辉 |
International Workshop on Scilab&ow2 open Source Software Contest |
2012.10.15 |
南京航空 航天大学 |
10 |
云计算的安全威胁与挑战 |
关志 |
2012年第十届中国石油和化工行业两化融合推进大会 |
2012.09.19 |
乌鲁木齐 |
11 |
互联网时代的知识工程 |
金芝 |
全国Agent理论和技术大会 |
2012.08.03 |
长春 |
12 |
北京大学软件工程课程体系的建设 |
孙艳春 |
2012年高等学校软件工程课程教学论坛 |
2012.07.31 |
南戴河 |
13 |
Nondeterminism andBisimilarity in Fuzzy Systems |
曹永知 |
中国系统工程学会模糊数学与模糊系统专业委员会第十六 届学术会议 |
2012.11.02-6 |
福州大学 |
二、实验室主办、承办国际国内会议
序号 |
会议名称 | 日期 | 国内或国际 | 承办人 | 备注 |
1 |
第十届全国搜索引擎和网上信息挖掘学术研讨会 |
2012.05.25-27 |
国内 |
崔斌 |
|
2 |
FAW-AAIM 2012 |
2012.05.14-16 |
国际 |
刘田、王捍贫 |
|
3 |
Fourth Asia-Pacific Symposium on Internetware |
2012.10.30-31 |
国际 |
梅宏、王千祥 |
|
4 |
Second International Symposium on High Confidence Software (ISHCS 2012) . |
2012.10.31-11.01 |
国际 |
梅宏、张路 |
三、互访情况
序号 |
日期 | 地点 |
访问方（单位）-> 接待方（单位） | 备注 |
1 |
2012.01.12-13 |
新加坡 |
崔斌---->National University of Singapore,SoC-Chinese universities Research Workshop . |
|
2 |
2012.04.14-15 |
北京 |
刘田---->北京邮电大学 |
|
3 |
2012.05.03-05 |
上海 |
刘田---->上海交通大学 |
|
4 |
2012.05.19 |
北京 |
刘田---->中科院软件研究所 |
|
5 |
2012.10.25 |
北京 |
刘田---->中科院计算所 |
|
6 |
2012.03.25-04.28 |
悉尼 |
苏开乐---->University of New South Wales |
|
7 |
2012.09.03-08 |
德国 |
郭耀---->Automated Software Engineering Conference |
|
8 |
2012.05.31 |
北京 |
Zhong Shao(Yale University)---->重点实验室 |
|
9 |
2012.06.15 |
北京 |
---->重点实验室 |
|
10 |
2012.09.11-15 |
奥地利 |
金芝---->维也纳大学， |
|
11 |
2012.05.11-13 |
法国 |
金芝---->巴黎第一大学 |
|
12 |
2012.02.26-03.08 |
美国 |
金芝---->美国弗罗里达大学 |
|
13 |
2012.05 |
北京 |
University of Technology Sydney,Australia,Didar Zowghi---->重点实验室 |
|
14 |
2012.07.05-06 |
北京 |
Florida University,USA,Prof.Jose Fortes---->重点实验室 |
|
15 |
2012.06.22-30 |
美国 |
李戈---->IEEE International Conference on Web Services |
|
16 |
2012.09.26-30 |
美国 |
金芝---->University of Illino,RE2012 Conference |
|
17 |
2012.08-2013.07 |
美国 |
曹永知---->斯坦福大学 |
四、学术报告
序号 |
日期 | 报告内容 | 报告人 | 地点 |
1 |
2012.01.04 |
Analysis and Automation of Systematic Program Modifications |
美国University of Texas--Miryung Kim教授 |
北京大学 |
2 |
2012.02.14 |
Systematic Literature Reviews--What,Why and How |
Keele University,UK--Barbara Kitchenham教授 |
北京大学 |
3 |
2012.02.14 |
云计算和软件工程的挑战 |
香港理工大学--Jacky Keung博士 |
北京大学 |
4 |
2012.05.15 |
Building a Science Base for the Information Age |
美国康奈尔大学--John Hopcroft教授 |
北京大学 |
5 |
2012.05.31 |
Certifying Operating System Kernel |
Yale University--Zhong Shao |
北京大学 |
6 |
2012.05.31 |
Understanding and Verifving Linearizability of Concurrent ob jects |
中国科技大学--冯新宇教授 |
北京大学 |
7 |
2012.06.15 |
Tvpe-Directed Automatic In crementalization |
德国马普研究所--Yan Chen |
北京大学 |
8 |
2012.06.15 |
Improving Reliability in Parallel Computing |
Columbia University--Junfeng Yang |
北京大学 |
9 |
2012.07.03 |
Do you know how to log? |
加州大学圣地亚哥分校--周源源教授 |
北京大学 |
10 |
2012.07.05 |
Wide-Area Virtual Networking |
弗罗里达大学--Jose Fortes教授 |
北京大学 |
11 |
2012.07.05 |
Search-based software engineering |
英国伦敦大学学院--Mark Harman教授 |
北京大学 |
12 |
2012.09.26 |
软件语言五十年 |
南京大学--徐家福教授 |
北京大学 |
13 |
2012.09.28 |
Context-Aware Softwae Mining and Analysis |
新加坡管理大学--蒋凌霄助理教授 |
北京大学 |
14 |
2012.10.09 |
Towards In Situ Software Engineering Technologies |
美国爱荷华州立大学--Carl Chang教授 |
北京大学 |
15 |
2012.10.11 |
Securing Data in the Cloud--Challenges and Research Directions |
美国Purdue Unive rsity--Elisa Bertino教授 |
北京大学 |
16 |
2012.10.15 |
ICT for a Snarter Planet:Challenges,Enablers,and Opportunities |
美国University of Florida--Sumi Helal教授 |
北京大学 |
17 |
2012.10.26 |
New research Directions in Intelligent Transportation |
美国伊利诺伊大学--Wolfson教授 |
北京大学 |
18 |
2012.10.31 |
Be Conservative:A Little Effort Now Can Save Your Big Time in Future Failure Diagnosis |
加州大学圣地亚哥分校--周源源教授 |
青岛 |
19 |
2012.10.31 |
Data-driven Performance Management in Practice for Online Services |
Microsoft Research Asia--Dongmei Zhang |
青岛 |
20 |
2012.10.31 |
Out of the Ivory Tower:Are We There Yet on Automatic Test Data Generation? |
North Carolina State University--Tao Xie教授 |
青岛 |
21 |
2012.10.31 |
On Deterministic Bidirectional Transformations |
日本NII--Zhen Jiang Hu教授 |
青岛 |
22 |
2012.11.01 |
Deterministic User-Level Replay of Concurrent Programs |
香港科技大学--Charles Zhang教授 |
青岛 |
23 |
2012.11.01 |
Do We Need to Handle Every Temporal Violation in Scientific Workflow Systems? |
澳大利亚Swinbern University--Yun Yang教授 |
青岛 |
24 |
2012.11.01 |
Fault Detection for Context-AwareApplications |
香港科技大学--Shing-Chi Cheung教授 |
青岛 |
25 |
2012.11.06 |
Communication Complexity（通讯复杂度） |
中科院计算研究所--孙晓明研究员 |
北京大学 |
五、国内外期刊、会议任职
（一）国际期刊任职
序号 |
任职人 |
期刊名称 | 任职类型 | 备注 |
1 |
崔斌 |
IEEE Transactions on Knowledge and Data Engineering . |
Associate Editor |
|
2 |
崔斌 |
The VLDB Journal |
Editorial Board |
|
3 |
崔斌 |
Distributed and Parallel Databases |
Editorial Board |
|
4 |
崔斌 |
Information Systems |
Editorial Board |
|
5 |
刘田 |
Mathematical Review 美国《数学评论》 |
Reviewer |
|
6 |
张路 |
Software Testing,Verification and Reliability |
Associate Editor |
|
7 |
梅宏 |
IEEE Transactions on Services Computing |
Associate Editor |
|
8 |
梅宏 |
Journal of Web Services Research |
Member of Editorial Board . |
|
9 |
黄罡 |
Journal of Internet Services and Applications |
Member of Editorial Board |
|
10 |
陈一峯 |
Journal of Parallel and Distributed Computing |
Member of Editorial Board |
（二）国际会议任职
序号 |
任职人 |
会议名称 | 任职类型 | 备注 |
1 |
梅宏 |
FAW-AAIM 2012 |
Co-Chair |
|
2 |
苏开乐 |
FAW-AAIM 2012 |
PC Co-Chair |
|
3 |
王捍贫 |
FAW_AaIM 2012 |
PC Member,Organizer |
|
4 |
崔斌 |
VLDB 2012 |
PC member |
|
5 |
崔斌 |
ICDE 2012 |
PC member |
|
6 |
崔斌 |
WWW 2012 |
PC member |
|
7 |
崔斌 |
SIGIR 2012 |
PC member |
|
8 |
崔斌 |
ICDCS 2012 |
PC member |
|
9 |
崔斌 |
CIKM 2012 |
PC member |
|
10 |
崔斌 |
CIKM 2012 |
PC member |
|
11 |
崔斌 |
WebDB 2012 |
PC member |
|
12 |
崔斌 |
MDM 2012 |
PC member |
|
13 |
刘田 |
FAW-AAIM 2012 |
PC Member,Organizer |
|
14 |
张路 |
FAW-AAIM 2012 |
PC Member |
|
15 |
刘田 |
FAW_AAIM 2013 |
PC Member |
|
16 |
熊英飞 |
First international workshop on bidirectional transformations(BX 2012) |
PC Member |
|
17 |
张路 |
2012 International Conference on Software Maintenance(ICSM) |
PC Member |
|
18 |
张路 |
2012 Working Conference on Source Code Analysis and Manipulation(SCAM) |
PC Member |
|
19 |
张路 |
2012 International Conference on Objects,Models,Components,Patterns(TOOLS Europe) |
PC Member |
|
20 |
张路 |
2012 International Conference on Autonomic and Trusted Computing(ATC) |
PC Member |
|
21 |
张路 |
2012 International Workshop on Mutation Analysis(Mutation) |
PC Member |
|
22 |
王千祥 |
The Fourth Asia-Pacific Symposium on Internetware |
PC CoChair |
|
23 |
王腾蛟 |
3th international workshop on unstructured data management 2012 in conjunction with WAIM2012 |
General Co-Chairs |
|
24 |
高军 |
3th international workshop on unstructured data management 2012 in conjunction with WAIM 2012 |
Program Committee Co-Chairs |
|
25 |
赵海燕 |
5th International Conference on Model Transformation(ICMT2012) |
PC Member |
|
26 |
曹永知 |
The 3rd International Conference on Quantitative Logic And Soft Computing |
PC Member |
|
27 |
郭耀 |
2013 International Symposium on Mobile Cloud,Computing and Service Engineering |
PC Member |
|
28 |
郭耀 |
2nd IEEE International Symposium on Security and Privacy in Internet of Things(IEEE SPIOT-12) |
PC Member |
|
29 |
金芝 |
The 20th IEEE International Requirements Engineering Conference(RE 2012) |
PC Board Member |
|
30 |
金芝 |
The 36th IEEE Computer Software and Aoolications Conference(COMPSAC 2012) |
PC Member |
|
31 |
金芝 |
The 19th Asia Pacific Software Engineering Conference(APSEC2012) |
PC Member |
|
32 |
黄罡 |
ACM/IFIP/USENIX Middleware International Conference 2012 |
PC Member |
|
33 |
黄罡 |
CBSE 2012 |
PC Member |
|
34 |
黄罡 |
SOCA 2012 |
PC Member |
|
35 |
黄罡 |
COMPSAC 2012 |
PC Member |
|
36 |
黄罡 |
ICPADS 2012 |
PC Member |
|
37 |
黄罡 |
Internetware 2012 |
PC Member |
|
38 |
黄罡 |
Models@Runtime2012 |
PC Member |
|
39 |
孙艳春 |
SEKE 2012 |
PC Member |
|
40 |
孙艳春 |
CSEET 2012 |
PC Member |
|
41 |
孙艳春 |
International Symposium on Software Architecture and Patterns 2012 |
PC Member |
|
42 |
陈一峯 |
SC 2012 |
PC Member |
|
43 |
陈一峯 |
IPDPS 2012 |
PC Member |
（三）国内会议任职
序号 |
任职人 |
会议名称 | 任职类型 | 备注 |
1 |
崔斌 |
第十届全国搜索引擎和网上信息挖掘学术研讨会(SEWM2012) |
程序委员会主席 |
|
2 |
崔斌 |
全国数据库年会(NDBC2012) |
程序委员会委员 |
|
3 |
许进 |
中国电子学会电路与系统分会图论与系统优化专业委员会2012年学术年会 |
主席 |
|
4 |
王捍贫 |
中国电子学会电路与系统分会图论与系统优化专业委员会2012年学术年会 . |
程序委员会委员 |
|
5 |
刘田 |
中国电子学会电路与系统分会图论与系统优化专业委员会2012年学术年会 |
程序委员会、组织委员会委员 |
|
6 |
陈一峯 |
HPCChina2012 |
Track Chair |