2011

一、特邀报告

序号

报告名称

报告人

会议名称 日期 地点

1

关于“Project Census”作了技术报告

周明辉

OW2 OSCi

2011.03.23

北京大学

2

关于“Internetware”作了工作报告

黄罡

OW2 OSCi

2011.03.23

北京大学

3

关于“云计算国际标准化”作了工作报告

赵俊峰

OW2 OSCi

2011.03.23

北京大学

4

在大会上作了技术报告

焦文品

第8届IEEE自主和自治系统工程

国际会议

2011.04.27-29

美国拉斯维加斯

5

Does initial environment impact the future of developers?

周明辉

2011软件工程大会(ICSE)

2011.05.24-28

美国夏威夷

6

Towards a More Fundamantal Explanation of Constraints in Feature Models:

A Requirement-Oriented Approach

赵海燕

2011年第12届国家软件复用会议

2011.06.13-16

韩国浦项

7

Binary-Search Based Verification of Feature Models

张伟

2011年第12届国家软件复用会议

2011.06.13-16

韩国浦项

8

实证软件工程--程序员成熟度的度量

周明辉

NASAC2011的青年学者论坛

2011.10.29

北京

9

Modeling Trustworthy Requirements:Does Control Theory Help?International

Workshop on Evolving Critical Software Systems

金芝

2011.06.07

上海

10

On Large structural parameters in random constraint satisfaction problems,Mini-Workshopon

ecent Progresses in Recent Progresses in Complex Network Research

刘田

2011.03.14

中科院理论物理所

11

Epistemic logics:a Computationally Grounded Perspective

苏开乐

2011.10

广州

 

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

序号

会议名称 日期

国内或国际

承办人 备注

1

The 2nd PKU-NII International Workshop on Advanced Software Engineering(第二届北京大学

--日本国立情报学研究所国际“高级软件工程”双边研讨会)

2011.10.20-23

国际

梅宏、金芝、赵海燕

2

首届中美计算机软件研讨会

2011.09.27-29

国际

陈一峯

3

GPU集群高级程序设计研讨会

2011.08.29-31

国内

陈一峯

4

第5届“ABC方法中的双向变换”国际研讨会

2011.03.17-19

国际

赵海燕

5

2011国际逻辑研讨会

2011.05.11-14

国际

苏开乐

6

RFIDSec Asia 2011

2011.04.06-08

国内

陈钟

7

RFID应用和安全2011中日研讨会

2011.07.21-22

国际

陈钟

8

ISHCS2011,International Symposium on High Confidence Software

2011.12.16-17

国际

梅宏、张路

 

三、互访情况

序号

日期

地点

访问方(单位)-> 接待方(单位)

  备注

1

2011.07.08-09.06

香港

曹永知-->香港城市大学

2

2011.11.28-12.04

德国

黄罡-->International Workshop on Models at Runtime

3

2011.07.03-10

美国

刘譞哲-->International Conference on Web Services

4

2011.09.22-26

韩国

刘譞哲-->ISO SG-38 SOA Standard Meeting

5

2011.10.20-22

日本

刘譞哲-->The 2nd PKU-NII International Workshop on Advanced Software Engineering

6

2011.05.22-24

美国

孙艳春-->The 24th IEEE-CS Conference on Software Engineering Education and Training

7

2011.07.07-09

美国

孙艳春-->The 23th International Conference on Software Engineering and Knowledge Engineering

8

2011.04.27-29

美国

焦文品-->8th IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems

9

2011.10.21-23

日本

焦文品-->2nd NII/PKU International Joint Workshop on Advanced Software Engineering

10

2011.06.30-07.17

英国

金芝-->Queen' s University of Belfast,UK

11

2011.05.26-06.01

浙江

刘田-->浙江师范大学

12

2011.07.17-24

西班牙

刘田-->巴塞罗那大学

13

2011.08.08-09

甘肃兰州

许进、刘田-->西北师范大学

14

2011.08.10-14

吉林长春

刘田-->东北师范大学计算机学院

15

2011.08.15-17

山东青岛

苏开乐、刘田-->山东科技大学

16

2011.11

美国

陈一峯-->University of California at Los Angeles

17

2011.11

美国

陈一峯-->Stanford University

18

2011.11

美国

陈一峯--->University of California,San Diego

19

2011.03

澳门

陈一峯--->United Nations University/International Institute for Software Technology

20

2011.07.06

北京大学

Prof.Howie.Huang,George Washingtong Unviersity--->重点实验室

21

2011.01.13-14

新加坡

崔斌--->National University of Singapore,SOC-Chinese universities research Workshop

22

2011.06.12-16

日本

赵海燕-->Pohang University of Science and Technoligy(POSTECH0,Korea,International Conference on Software Reuse

23

2011.10.14-20

韩国

赵海燕-->National Institute of Informatics,Japan,2nd NII/PKU International Joint Workshop on Advanced Software Engineering

24

2011.02.27-03.04

日本

赵海燕-->National Institute of Informatics,Japan

25

2011.09.27

香港

王腾蛟-->香港中文大学

26

2011.07.10-14

美国

陈钟-->参加2011国际会议

27

2011.07.20-27

日本

陈钟-->日本九州大学、日本九州工业大学

28

2011.11.29-12.03

韩国

陈钟-->韩国信息安全研究所

29

2011.12.03-12

马来西亚

刘田-->马来西亚玻璃市大学

30

2011.06.12-18

希腊

高军-->希腊SIGMOD2011

 

四、学术报告

序号

日期                  报告内容                        报告人 地点

1

2011.02.22

Developing software in a parallel world

微软研究院--Judith Bishop教授

北京大学

2

2011.03.18

Open Software Research

德国University of Erlangen-Nuremberg--Dirk Riehle教授

北京大学

3

2011.04.03

Weak Compieteness Notions for Exponential Time

德国海德堡大学--Klaus Ambos-Spies教授

北京大学

4

2011.05.18

Cost Minimization while Satisfying Hard/Soft Timing Constraints for

Heterogeneous Embedded Systems

Dr.Meikang Qiu University of Kentucky

北京大学

5

2011.06.17

Learning from Structured Data:Models and Applications

南加州大学--刘燕博士

北京大学

6

2011.06.24

Social Computing and Political Analysis Applications

Professor Paul Resnick,University of Michigan

北京大学

7

2011.07.01

Rules of Thmb for IT Product Evaluations

Atsec information security corporation--Yi Mao博士

北京大学

8

2011.09.01

Local Search and Constraint Satisfaction

澳洲Griffith大学--Abdul Sattar教授

北京大学

9

2011.09.05

Exact real arithmetic-real numbers from the viewpoint of a computer scientist

德国Trier大学--Norbert Mueller教授

北京大学

10

2011.09.05

The case of compactness,constructively

德国Siegen大学--Hannes Diener博士

北京大学

11

2011.09.05

on Functions computable in nondeterministic polynomial time

德国Siegen大学--Dieter Spreen教授

北京大学

12

2011.07.19

Social network analysis by compression:Not only space saving,but also

insight gaining

Pei Jian school of Computing science,simon FraserUniversity

北京大学

13

2011.10.21

CPS系统的模型检测方法

美国CMU--Edmund M.Clarke

北京大学

 

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

(一)国际期刊任职

序号

任职人 期刊名称 任职类型 备注

1

梅宏

IEEE Transaction on Service Computing

Associate Editor

2

梅宏

International Journal of Web Services Research

Editorial Board

3

梅宏

International Journal of Software and Informatics

Editorial Board

4

黄罡

International Journal of Internet Services and Applications

Editorial Board

5

金芝

Expert Systems:The Journal of Knowledge Engineering

编委

6

崔斌

IEEE Transactions on Knowledge and Data Engineering

Associate Editor

7

崔斌

The VLDB Journal

Editor

 

(二)国际会议任职

序号

任职人

                            会议名称 任职类型 备注

1

梅宏

International Conference on Web Services(ICWS 2011)

PC Member

2

梅宏

International Conference on Software Engineering and Knowledge Engineering(SEKE 2011)

PC Member

3

梅宏

International Conference on Quality Software(QSIC 2011)

PC Member

4

黄罡

International Conference on Middleware(Middleware 2011)

PC Member

5

黄罡

International Symposium on Service Oriented System Engineering(SOCA 2011)

PC Member

6

黄罡

International Workshop onModels@runtime

PC Member

7

金芝

The 35th IEEE Computer Software and Applications Conference(COMPSAC 2011)

PC Co-Chrir

8

金芝

The 19th International Conference on Requirements Engineering(RE 2011)

PC Member

9

陈一峯

IEEE International Parallel & Distributed Processing Symposium(IPDPS 2012)

评委

10

陈一峯

International Conference for High Performance Computing,Networking,Storage and Analysis(SC 2012)

评委

11

陈一峯

9th International Colloquim on Theoretical Aspects of Computing 2012(ICTAC 2012)

评委

12

陈一峯

Computer Science and Engineering 2011(CSE 2011)

评委

13

崔斌

ICDE 2011

PC Vice Chair

14

崔斌

ACM MM, SIGIR, CIKM,SSTD, WebDB, DEXA, DASFAA,APWeb

PC Member

15

邵维忠

5th IEEE International Conference on Theoretical Aspects of Software Engineering(TASE 2011)

Programme committee

16

赵海燕

5th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition(Bi-Trans in ABC)

PC Chair

17

赵海燕

2nd NII/PKU International Joint Workshop on Advanced Software Engineering

PC Member

18

赵海燕

International Workshop on Evolving Critical Software Systems

PC Member

19

谢冰

Software Trustworthiness(SoTrust 2011)

Program Co-Chairs

20

谢冰

Software Trustworthiness(SoTrust 2010)

Prgram Co-Chairs

21

谢冰

The 7th International Conference on Autonomic and Trusted Computing(ATC 2010)

Prgram Co-Chairs

22

王腾蛟

16th International Conference on Database Systems for Advanced Applications (DASFAA 2011)

Industy Chair

23

王腾蛟

2nd International Workshop on Unstructured Data Management(USDM 2011)

PC Chair

24

陈钟

5th ACM Aymposium on Information,Computer and Communications Security

Tutorial Chair

25

陈钟

2011 Workshop on RFID Security(RFIDsec'11 Asia)

Chair

 

(三)国内会议任职

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

1

梅宏

2011年全国软件应用大会

主席

2

刘田

2011图论与系统优化学术年会

组委会

3

崔斌

NDBC 2011

PC member

4

赵海燕

2nd CCF-SIGRE Workshop on Requirements Engineering

PC Chair