2012

一、特邀报告

序号

                报告名称

报告人

               会议名称 日期 地点

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