2010

1

网络化应用支撑工具--发展现状及趋势

梅宏

透明计算/云计算产学研讨会

2010.07

2

Constraint satisfaction problems with growing domains(Invited

 talk)

刘田

International workshop on statistical physics and

computerscience

2010.07

3

企业IT架构模式

黄罡

2010年中国企业管理高峰论坛之企业IT架构分论坛

2010.10

4

The Challenge and Practice of Creating Software Engineering

Curriculum

孙艳春

International Symposium on Collaborative Software

Engineering

2010.10

1

"ABC方法中的双向变换“国际研讨会

2010.03-12-18 .

国内

2

第四届有限域及其应用国际研讨会

2010.05

国际

3

Seventh International Conference on Computability and Complexity in Analysis .

2010.06.21-25

国际

4

The Ist China-Japan Workshop on RFID Application and Security

2010.07.26-27

国际

5

第27届中国数据库学术会议

2010.10.13-16

国内

6

中国密码学会2010年年会

2010.10.16-18

国内

7

International Conference on Autonomic and Trusted Computing

2010.10.26-29

国际

8

International Workshop on Software Trustworthiness

2010.10.26-29

国际

9

National Annual Software Applications Conference

2010.11.04-06

国内

10

Asia-Pacific Symposium on Internetware

2010.11.10-12

国际

1

2010.01.18-19

新加坡

崔斌---->National University of Singapore,SoC Chinese universities Research Workshop 2010 .

2

2010.02.01-28

澳大利亚

金芝---->悉尼科技大学

3

2010.02.22-25

日本

陈钟---->九州大学和九州工业大学

4

2010.03.01-30

日本

赵海燕---->日本国立情报学研究所

5

2010.03.21

北京大学

九州大学樱井幸一教授---->重点实验室

6

2010.05.07-08

北京

刘田---->北京航空航天大学

7

2010.05.13

新加坡

新加坡国立研究院Tieyan li---->重点实验室

8

2010.05.20

澳大利亚

Didar Zowghi教授---->重点实验室

9

2010.06.03

法国

国立南巴黎电信学院的Daqing Zhang教授---->重点实验室

10

2010.06.05

北京大学

国立情报学研究所GRACE中心胡振江、Platon、石川冬树、郑显志---->重点实验室

11

2010.06.11

北京大学

张景中院士---->重点实验室

12

2010.06.28

北京大学

佛罗里达国家大学何旭东教授---->重点实验室

13

2010.07.08-11

北京

刘田---->中科院理论物理所

14

2010.07.09

美国

宾州州立大学Sencun Zhu教授---->重点实验室

15

2010.07.22

北京大学

荷兰Vrije大学Hans Van Vlient教授---->重点实验室

16

2010.07.23

北京大学

美国Florida Atlantic University Eduardo B.Fernandez教授---->重点实验室

17

2010.07.29-08.11

北京大学

AVAYA实验室资深软件科学家Audris Mockus博士---->重点实验室

18

2010.08.04

北京大学

IIsun You教授---->重点实验室

19

2010.08.10-13

武汉

刘田---->武汉大学

20

2010.08.13-15

南京

刘田---->南京邮电大学

21

2010.09.16-30

英国

金芝---->贝尔法斯特大学

22

2010.09.22-10.02

北京大学

德国专家Norbert Muller---->重点实验室

23

2010.10.23-24

长春

刘田---->东北师范大学

24

2010.10.27

北京大学

挪威Simula Research Laboratory岳涛博士---->重点实验室

25

2010.11.18

北京

刘田---->中科院软件所

26

2010.11.25

北京

刘田---->中科院计算所

27

2010.11.20

北京大学

Didar Zowghi教授---->重点实验室

28

2010.11.23

北京大学

荷兰CLEBA Group director李海宽博士---->重点实验室

29

2010.11.26-27

北京大学

浦项科技大学Kyo Chul Kang教授---->重点实验室

30

2010.12.01

北京大学

九州大学樱井幸一教授---->重点实验室

31

2010.12.08-20

法国、意大利

陈钟---->法国南巴黎高等通讯学校奥、Nokia、意大利博洛尼亚大学

32

2010.12.13-15

澳大利亚

刘哲---->国际服务计算与应用大会

1

2010.04.09

Weak Completeness Notions for Exponential Time

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

2

2010.04.19

Some Algorithms for SAT and Max-SAT

法国University of Picardie Jules Verne--Chumin Li

教授

3

2010.04.27

Logic and Epistemology

荷兰阿姆斯特丹大学和美国斯坦福大学--

Johan von Benthem教授

4

2010.05.28

Discovering New Knowledge from the Internet

Prof,Jie Wang,University of Massachusetts,Lowell

5

2010.06.03

Smart Home,Pervasive elderly care and context-aware computing

法国国立南巴黎电信学院--Daqing Zhang教授

6

2010.06.04

Incremental Learning of Log Formats

上海交通大学--朱其立教授

7

2010.06.11

自动推理与教育信息技术

电子科大-中科院成都计算机应用所--张景中院士

8

2010.06.11

TopBT:一个感知互联网拓扑结构的BitTorrent软件

美国俄亥俄州立大学--张晓东教授

9

2010.06.28

A Formal Framework for Software System Modeling,Analysis and Realization

美国俄亥俄州立大学--何旭东教授

10

2010.07.09

Processing Sparse and Irregular Digital Image Data

University of UIster,UK--Prof,Bryan Scotney

11

2010.07.09

INPAC:An Enforceable Incentive Scheme for Wireless Networks using Network

Coding

State University of New York,Buffalo--仲盛副教授

12

2010.07.12

How to Write and Publish Top-Quality Research Papers

University of Vermont,USA--Prof,Xindong Wu

13

2010.07.12

Automatic Detection of Sub-Kilometers Craters in High Resolution Planetary Images

University of Massachusetts,USA--Dr,Wei Ding

14

2010.07.19

Embedded System Virtual Prototyping

LIAMA Sino-French Laboratory,China--

Dr,Vania JoIoboff

15

2010.07.20

Data Fusion Techniques applied to Sensor Networks

CRI-CEA,France--Prof, Suzanne Lesecq

16

2010.07.21

Modelling and Analysis of Timed Systems

Uppsala University,Sweden--Prof.Wang Yi

17

2010.07.22

Timing Analysis and Timing Predictability

Reinhard Wilhelm,Saarland University,Gernany--

Prof.Dr,H.c.mult

18

2010.07.23

Designing Secure Architectures using Security Patterns

美国Florida Atlantic University--Eduardo B.

Fernandez教授

19

2010.10.09

Reusing Open Source Software:Issues on Cods Search and License Identification

日本大阪大学--Katsuro Inoue教授

20

2010.10.13

软件验证与计算机辅助证明

中科院软件所--张健研究员

21

2010.10.13

海量信息的物理学

北京航空航天大学--许可教授

22

2010.11.27

Automatically Deriving a UML Analysis Model from a Use Case Model

挪威Simula Research Laboratory--岳涛博士

23

2010.11.23

大型复杂系统的重构技术

荷兰CLEBA Group--李海宽博士

24

2010.11.26

Software Variability Management

韩国浦项科技大学--Kyo Chul Kang教授

25

2010.12.07

Hardware and Software Challenges in Data-Intensive Computing

George Washington University--Prof.Hao(Howie)

Huang

26

2010.12.16

Mapping a Research Agenda

美国North Caroling State University--谢涛博士

27

2010.12.21

Automated Fixing of Programs with Contracts

ETH Zurich--魏毅

28

2010.12.22

混成通信顺序进程的一个演算

中科院软件所--周巢臣院士

29

2010.12.23

Watching UserGenerated Videos:Impact of Recommendation Systems and

Recommendation--Aware Prefetching

University of Massachusetts,Amherst--

Professor Lixin Gao

1

崔斌

IEEE Transactions on Knowledge and Data Engineering

Associate Editor

2

黄罡

Journal of Internet Services and Applications

Editorial Board

3

金芝

Expert Systems:The Journal of Knowledge Engineering

Editonal Board

4

梅宏

IEEE Transaction on Service Computing

Associate Editor

5

梅宏

International Journal of Web Servives Research

Editorial Board

6

梅宏

International Journal of Software and Informatics

Editorial Board

7

孙艳春

IEEE SWEBOK Guide 2010(Guide to the Software Engineering Body of Knowledge) .

Editor of the Software Design Knowledge Area .

8

王千祥

International Journal of Cloud Applications and Computing

Associate Editor

9

张路

Journal of Software Maintenance and Evolution:Research and Practice

Editorial Board

10

张路

Software Testing,Verification and Reliablity

Editorial Board

1

陈钟

5th ACM Aymposium on Information,Computer and Communications Security

Tutorial Chair

2

陈钟

The 2010 International Conference on Autonomic And Trusted Computing

Awards Chair

3

陈钟

2011 Workshop on RFID Security

Chair

4

崔斌

International Conferences on Asia-Pacific Web Conference 2010

Tutorial Co-Chair

5

金芝

4th InternationaI Conference on Knowledge Science,Engineering and Management(KSEM 2010)

General Co-Chair .

6

金芝

7th International Workshop on Software Cybernetics(IWSC 2010)

PC Co-Chair

7

王千祥

First International Workshop on Program Debugging in China(IWPDC) 2010

PC Co-Chair

8

王腾蛟

12th International Asia-Pacific Web Conference(APWeb 2010) USD 2010 Workshop

PC Chair

9

谢冰

7th Intemational Conference on Autonomic and Trusted Computing

PC Co-Chair

10

谢冰

Ist Intemational Workshop on Spftware Trustworthiness 2010

PC Co-Chair

11

曹东刚

IEEE International Workshop on Internet-based Virtual Computing Environment(iVCE) 2010

PC Member

12

曹东刚

International Woekshop on Mobile Commerce and Services ,2010

PC Member

13

曹永知

International Conference on Cooperation and Promotion of Information Resources in Science and Technology 2010

PC Member

14

崔斌

International Conference on Very Large Data Bases 2010

PC Member

15

崔斌

ACM SIGMOD International Conference on Management of Data 2010

PC Member

16

崔斌

ACM SIGKDD Conference 2010

PC Member

17

崔斌

International Conference on Database and Expert Systems Applications2010

PC Member

18

崔斌

International Conference on Database Systems for Advanced Applications 2010

PC Member

19

崔斌

ACM Conference on Information and Knowledge Management 2010

PC Member

20

崔斌

International Conference on Web Information System Engineering 2010

PC Member

21

崔斌

International World Wide Web Conference 2010(Poster Track)

PC member

22

崔斌

International Workshop on the Web and databases 2010

PC member

23

黄罡

Interational Conference on Middleware 2010

PC Member

24

黄罡

International Conference on ParallelProcessing

PC Member

25

黄罡

International Symposium on Service oriented System Engineering

PC Member

26

黄罡

International Conference on Service oriented Computing and Application

Track Chair

27

黄罡

International Workshop onModels@Run.Time2010

PC Member

28

黄罡

International Workshop on Cloud Service 2010

PC Member

29

金芝

5th IEEE International Symposium on Service-oriented System Engineering(SOSE 2010)

PC Member

30

金芝

4th IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE 2010)

PC Member

31

金芝

4th IEEE International Conference on Secure Software Integration and Reliability Improvement(SSIRI2010)

PC Member

32

金芝

9th International Conference on Autonomous Agents and Multi-agent Systems(AAMAS 2010)

PC Membre

33

金芝

13th Pacific Rim International Conference on Multi-Agents(PRIMA2010)

PC Member

34

梅宏

International Conference on Web Services(ICWS) 2010

PC Member

35

梅宏

International Conference on Software Engineering and Knowledge Engineering(SEKE02010

PC Member

36

梅宏

International Conference on Quality Software(QSIC)2010

PC Member

37

孙艳春

ICSS2010(International Conference on Service Science)

PC Member

38

王千祥

International Computer Software and Applications Conference(COMPSAC)2010

PC Member

39

王千祥

21th International Conference on Software Engineering and Knowledge Engineering 2010

PC Member

40

王千祥

9th International Conference on Quality Software 2010

PC Member

41

王千祥

Second Asia-Pacific Symposium on Internetware 2010

PC Member

42

王千祥

7th International Workshop on Software Cybernetics 2010

PC Member

43

王千祥

IEEE International Conference on Secure Software Integration and Reliability Improvement 2010

PC Member

44

王亚沙

International Conference on Software Process 2010

PC Member

45

张路

Working Conference on Source Code Analysis and Manipulation 2010

PC Member

46

张路

International Conference on Autonomic and Trusted Computing(ATC)

PC Member

47

张路

International Workshop on Mutation Analysis 2010

PC Member

48

张路

International Workshop on Program Debugging in China 2010

PC Member

49

张路

International Workshop on Model Inference In Testing(MIIT)2010

PC Member

50

张伟

International Workshop on Software Product Management(IWSPM)2010

PC Member

1

陈钟

第7届全国智能CAD与数字娱乐学术会议 (CIDE2010)，2010 .

主席

2

刘田

2010中国电子学会图论与系统优化学术年会

大会秘书长

3

刘田

约束满足问题研讨会

主要组织者之一 .

4

王腾蛟

第27届中国数据库学术会议(NDBC 2010)

程序委员会主席

5

许进

2010中国电子学会图论与系统优化学术年会

大会主席

6

杨冬青

第27届中国数据库学术会议(NDBC 2010)

大会主席