2009

一、特邀报告

序号

 

报告名称

报告人

 

会议名称 日期 地点

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