交流互访

一、特邀报告

序号

报告名称 报告人 会议名称 日期 地点

1

量子计算方面的学术报告

刘田副教授

国防科技大 学量子信息研讨会

2013.02.27

湖南长沙

2

"Model-based Management of Service Composition"

刘譞哲副教授

第7届国际服务系统工程大会SOSE

2013.03.24

美国

3

NP完全问题报告

刘田副教授

算法备课会

2013.04.09

北京大学

4

相变现象与难解算例生成报告

刘田副教授

算法备课会

2013.04.09

北京大学

5

拔尖人才计划的设置和运营以及获得的丰硕成果

陈一峯研究员

"基础学科拔尖学生培养试验计划"计算机方向拨尖人才研讨会

2013.04.13

上海

6

量子信息报告

刘田副教授

国防科技大学研讨会

2013.05.08

湖南张家界 .

7

基于知件的知识服务

金芝教授

中国情报学会知识组织专委会年会

2013.06.28

北京

8

基于环境建模的物联网服务描述与性能分析

金芝教授

中国计算机学会服务计算专委会服务需求分析研讨会

2013.08.03

湖北武汉

9

从基于构件到知识驱动的软件复用方法支撑平台

谢冰教授

Internetware 2013

2013.10.24

湖南长沙

10

美国 斯坦福大学科研和教学情况

曹永知副教授

重点实验室沙龙之国外高校介绍系列

2013.11.01

北京大学

二、实验室主办、承办国际国内会议

序号

会议名称 日期

国内或国际

承办人    备注

1

Asia Workshop on Advanced Software Technologies

2013.07.19-20

国际

金芝教授

2

2013年国际中间件大会

2013.12.09-13

国内

黄罡教授

大会共同主席

4

中国计算机学会(CCF)软件工程专委会(SETC)旗下需求工程学组2013年需求工程研讨会

2013.05.11

国内

金芝教授

5

第3届亚洲高级软件工程会议(AWASE)

2013.07.19-21

国际

金芝教授

与日本、新加坡合办 .

6

第三届高可信软件技术国际研讨会

2013.12.12

国际

谢涛、张路教授

三、互访情况

序号

日期 地点 访问方(单位)-> 接待方(单位) 备注

1

2013.08.27

日本

熊英飞研究员---->National Institute of Informatics,Japan

2

2013.06.27-30

美国

孙艳春副教授---->SEKE 2013国际会议

3

2013.07.16-07.22

新加坡

焦文品教授---->National University of Singapore,ICECCS 2013,AWASE2013

4

2013.07.01

美国

王亚沙教授---->Massachusetts Institute of Technology,Media Lab-Seminar on smart city and city science

5

2013.07.27-31

日本

金芝教授---->National Institute of Informatics,Japan

6

2013.07.26

北京大学

Hans-Arno Jacobson(Technical University Munich)---->重点实验室

7

2013.07.26

北京大学

Patrick Hung(University of Ontario Institute of Technology)---->重点实验室

8

2013.06.29-07.13

美国

刘譞哲副教授---->2013 International Conference on Web Services,Santa Clara

9

2013.03.22-26

美国

黄罡教授、刘譞哲副教授---->2013 International Symposium on Service-Oriented System Engineering,Redwood City

10

2013.08.02-04

美国

曹永知副教授---->Stanford University

11

2013.10.02

北京大学

美国迈阿密大学研究生院院长M.Brian Blake教授---->重点实验室

12

2013.09.27

北京大学

丹麦Aarhus University Anders Moller教授---->重点实验室

13

2013.08.25

北京大学

美国加州大学圣芭芭拉分校苏建文教授---->重点实验室

14

2013..7.26

北京大学

加拿大安大略理工大学(UOIT) Patrick Hung的教授---->重点实验室

15

2013.07.26

北京大学

德国慕尼黑工业大学Hans-Arno Jacobsen教授---->重点实验室

16

2013.06.19

北京大学

德国班贝克大学Guido Wirtz教授---->重点实验室

17

2013.05.28

北京大学

微软亚洲研究院研究员刘云新博士---->重点实验室

18

2013.05.22

北京大学

华为北研所和中央研究院合作经理和项目经理---->重点实验室

19

2013.05

英国

陈钟教授、郭耀副教授---->英国牛津大学、剑桥大学和爱丁堡大学访问交流

20

2013.05.09

北京大学

澳大利亚悉尼技术大学Didar Zowghi教授---->重点实验室

21

2013.03

美国

郭耀副教授---->美国卡内基梅隆大学和麻省理工学院的计算机系

22

2013.03.14

北京大学

新加坡国立大学Jinsong Dong博士---->重点实验室

23

2013.03.12

北京大学

德国Friedrich-Alexander大学Dirk Riehle教授---->重点实验室

24

2013.11.26

北京大学

美国重纽约大学Keith Ross教授---->重点实验室

25

2013.12.15-19

德国

金芝教授---->"Software Engineering for self-Adaptive Systems:Assurance"Dagstuhl Seminar

四、学术报告

序号

日期 报告内容 报告人     地点

1

203.08.05

Determinism Is Not Enough

Junfeng Yang教授--美国哥伦比亚大学

北京大学

2

2013.07.30

NFRs Driven Selection of Implementation Strategies

金芝教授

National Institute of

Informatics,Japan

3

2013.03.14

Pervasive Model Checking

新加坡国立大学--Jinsong Dong博士

北京大学

4

2013.04.18

Big Data and Empirical Software Engineering

周明辉副教授

奥迪北京研发中心 .

5

2013.08.25

Data,Processes,Services,and Software System Design

美国加州大学圣芭芭拉分校--苏建文教授

北京大学

6

2013.07.26

Evidence-based technology:maxit systems

加拿大安大略理工大学--Patrick Hung教授

北京大学

7

2013.07.26

中间件系统及应用方面研究成果综合性的学术报告

德国慕尼黑工业大学--Hans-Arno Jacobsen教授

北京大学

8

2013.06.19

Service-oriented architecture,service ecosystems and clouds-a brave new

high-level world for implementing interoperable business processes

德国班贝克大学--Guido Wirtz教授

北京大学

9

2013.05.28

improving power experiences of smartphones

微软亚洲研究院--刘云新研究员

北京大学

10

2013.02.03

“体系结构驱动的可信软件构造方法与技术研究”的进展和成果

梅宏院士

北京大学

11

2013.05.10

Third-Party Privacy Attacks

美国纽约大学--Keith Ross教授

北京大学

12

2013.05.10

Evidence Based Software Engineering

Didar Zowghi教授

北京大学

13

2013.09.17

Improving tools for Java Script programmers and other research at

Aarhus University

丹麦Aarhus University--Anders MoLLer教授

北京大学

14

2013.10.23

"Web-Scale Workflow:The Era of Services and Big Data"

美国迈阿密大学研究生院M.Brian Blake院长

北京大学

15

2013.08.27

Interactive fixes forsoftware configuration

熊英飞研究员

日本国立情报所

16

2013.10.13

Interactive fixes forsoftware configuration

熊英飞研究员

大连理工大学

五、国内外期刊、会议任职

(一)国际期刊任职

序号

 任职人

期刊名称 任职类型 备注

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

Editorlal Board

5

崔斌

Frontiers of Computer Science

Editorlal Board

6

张路

Software Testing,Verification and Reliability

Associate Editor

7

金芝

International Journal of Software Engineering and Knowledge

Associate Editor

8

金芝

Expert Systems:The Journal of Knowledge Engineering

Editor

9

金芝

Journal of Computer Science and Technology

Editor

10

梅宏

IEEE Trans.on Services Computing

Associate Editor

11

梅宏

Journal of Web Services Research

Editorial Board

12

梅宏

Journal of Systems and Software

Editorlal Board

13

梅宏

Journal of Software and System Modeling

Editorlal Board

14

梅宏

Journal of Softwara and Informatics

Editorlal Board

15

黄罡

Journal of Internet Engineering & Application

Editorlal Board

16

曹永知

The Scientific World Journal

Editorlal Board

(二)国际会议任职

序号

任职人

会议名称 任职类型

1

崔斌

SIGMOD、VLDB,ICDE,KDD,CIKM,DEXA,APWeb、WAIM、WISE

PC member

2

熊英飞

ACM Student Research Competition(SRC)at ICSE2013

Committee Member

3

熊英飞

Educators Symposium at MODELS2013

Selection Committee Member

4

熊英飞

2013 Interntal Conference on Object-Oriented Programming,Systems,Languages — Applications

External Review Committee Member

5

熊英飞

2014 International Conference on High-Performance Compilation,Computing,and Communications

Trck Chair

6

张颖

ACM/IFIP/USENIX International Middleware Conference,2013

Web Chair

7

张颖

7th International Symposium on Service Oriented System Engineering,2013

Proceedings Co-Chair

8

张颖

The 15th IEEE International Conference on High Performance Computing and Communications(HPCC2013)

PC

9

张路

International Conference on Automated Software Engineering(ASE2013)

PC member

10

张路

International Conference on Software Maintenance(ICSM2013)

PC member

11

张路

International Conference on Quality Software(QSIC2013)

PC member

12

张路

International Workshop on Mutation Analysis(Mutation2013)

PC member

13

张路

International Symposium on Software Testing and Analvsis(ISSTA2013)

PC member

14

刘田

The Joint Conference of FAW-AAIM2013

PC Member

Session Chair

15

刘田

The 19th Annual International Computing and Combinatorics Conference(COCOON2013)

Session Chair

16

刘田

The 6th International Conference on Contemporary Computing(IC3 2013)

17

刘田

The 10th International Conference on Algorithmic Aspects of Information and Management(AAIM2014)

PC Member

18

刘田

The 8th Frontiers of Algorithms Workshop(FAW2014)

PC Member

19

孙艳春

SEKE2013(The 25th International Conference on Software Engineering and Knowledge Engineering)

PC Member

20

孙艳春

COMPSAC 2013(THE 37th Annual International Computer Software & Applications Conference)

PC Member

21

孙艳春

ICSS2013(International Conference on Service Science)

PC Member

22

孙艳春

CSEET 2013(26th Conference on Software Engineering Education and Training)

PC Member

23

郭耀

2013 ACM/IEEE International Symposium on Low Power Electronic and Design(ISLPED)

Publicity Chair

24

郭耀

2013 ACM/IEEE International Symposium on Low Power Electronic and Design(ISLPED)

PC Member

25

郭耀

2013 The IEEE International Symposium on Mobile Cloud,Computing and Service Engineering

PC Member

26

郭耀

27th International Conference on VLSI Design 2014(VLSI2014)

PC Member

27

郭耀

6th International Conference on MOBILe Wireless Middle WARE,Operating Systems,and Application

PC Member

28

曹东刚

IEEE Mobile Cloud

PC

29

曹东刚

IEEE IVCE Workshop

PC

30

赵海燕

6th International Conference on Model Transformation(ICMT),2013

PC

31

赵海燕

Ist International Conference on Model-Driven Enginering and Software Development,MODELSWARD2013

PC

32

赵海燕

7th International Conference on Model Transformation(ICMT),2014

PC

33

赵海燕

Ist International Conference on Model-Driven Engineering and Software Development,MODELSWARD2014

PC

34

赵海燕

Asia-Pacific symposium on Internetware2013

PC

35

曹永知

6th International Workshop on Harnessing Theories for Tool Support in Software(TTSS'2013)

PC Member

36

曹永知

2013 Rough Set Symposium(JRS13)

PC Member

37

周明辉

FSE 2014 Research Demonstration

程序委员会联合主席

38

周明辉

IDOESEdoctoral symposium

程序委员会委员

39

周明辉

ICSE 2014 Doctoral Symposium

程序委员会委员

40

周明辉

Internetware2013 Symposium

程序委员会委员

41

谢冰

The 23rd Australasian Software Engineering Conference(ASWEC)

PC

42

熊英飞

BX Workshop 2014

PC Member

43

熊英飞

Middleware2013

Registration Chair

44

许进

2013 Bic-ta国际会议:International Conference on Bio-Inspired Computing:Theories and Applications

主席

三)国内会议任职

序号

任职人 会议名称 任职类型        备注

1

崔斌

全国数据库年会(NDBC2013)

程序委员会委员

2

刘田

2013全国图论与系统优化学术年会 .

组委会委员

3

刘田

2013全国理论计算机科学学术年会

程序委员会委员 .

(四)国内期刊任职

序号

任职人 会议名称 任职类型         备注

1

金芝

《软件学报》

执行副主编 .

2

金芝

《计算机学报》

副主编

3

崔斌

《软件学报》

编委

4

崔斌

《计算机应用与软件》 .

编委

5

崔斌

《ACM通讯中国版》

编委