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

1

第二届CCF国际普适计算学术沙龙

2017.9.13

国际

张大庆

2

The Ninth Asia-Pacific   Symposium on Internetware

2017.9.23-

24

亚太

大会共同主席：金芝

3

软件工程青年学者沙龙

2017.08

国内

熊英飞

4

中国计算机大会前沿无线感知计算论坛

2017.10.27

国内

张大庆

5

第十六届全国软件技术和应用会议

2017.11.3-

5

国内

大会共同主席：金芝

6

中国可信云计算社区暨中国开源云联盟安全论坛

2017.11.10-11

国内

关志

序

号

日 期

报告内容

报告人

地点

1

2017.3.15

Spreadsheet Cell Clustering and Defect Detection

张成志教授

香港科技大学

北京大学

2

2017.4.26

“Tolerating uncertainty via evolvable--by--design software

Carlo Ghezzi教授

意大利米兰理工学院

北京大学

3

2017.5.24

The Holy Grail of Sub-meter Indoor   Localization with Low-cost Infrastructure

郑榕副教授

加拿大McMaster University

北京大学

4

2017.6.26

Learning and Decision-Making from Rank Data

夏立荣博士

美国伦斯勒理工学院

北京大学

5

2017.7.27

Wireless Systems that Extend Our Senses

Fadel Adib博士

美国MIT

北京大学

6

2017.7.28

“D-Watch: Embracing “bad” Multipaths for Device-Free Localization with   COTS RFID Devices

王举博士

西北大学

北京大学

7

2017.7.28

The Age of Wireless Superpowers: From Seeing Humans, Heartbeats, and   Emotions through Walls to Drone-based Battery-free Networks

Fadel Adib博士,

美国MIT

北京大学

8

2017.7.28

Widar: Decimeter-Level Passive Tracking via Velocity Monitoring with   Commodity Wi-Fi

钱琨博士

清华大学

北京大学

9

2017.9.１9

Interactive but Implicit Technologies for Good Shape

Koji Yatani 教授

东京大学

北京大学

10

2017.9.12

Permissioned/Private Blockchains and Databases

Dr. C. Mohan

IBM Almaden Research Center（美国工程院院士）

北京大学

1

Towards Trustworthy Program Repair

熊英飞

Dagstuhl Seminar on Automated Program Repair

2017.1

德国

2

Collective Model Construction for System Smartness

金芝

017 IFIP WG 2.9 Meeting (Working Group 2.9, Software Requirements   Engineering)

2017.2.13-17

Stellenbosch, South Africa

3

计算思维和需求方法学

金芝

计算机与通信前沿技术名家讲坛

2017.4.19

北京

4

Towards Centimeter-scale Human Activity Sensing with Wi-Fi Signals:   Theory and Applications

张大庆

ACM图灵奖五十年中国大会（ACM TURC 2017 SIGMOBILE）

2017.5.13

上海

5

中国商用密码算法与GmSSL密码库

关志

云计算与大数据安全高峰论坛暨中国可信云社区技术峰会

2017.5.27

贵阳

6

Angel: A New Large-scale Machine Learning System

崔斌

PKU/UCLA JRI Symposium

2017.6.29

北京

7

A Map-matching Service Designed for Courier   Trajectories

孙艳春

ICWS 2017会议

2017.6.26

美国

8

支持大数据的分布式机器学习系统Angel

崔斌

2017中国大数据应用大会，大数据与人工智能技术论坛

2017.7.13

成都

9

度量开源生态系统的可持续性：Linux kernel

周明辉

第四届“软件工程研究与实践2017”论坛

2017.7.19

北京

10

Engineering Fine-Grain Dependability Requirements

金芝

The 2017 IEEE International Conference on Software Quality,   Reliability and Security (QRS 2017)

2017.7.25

Prague, Czech Republic

11

What should matter in modeling Cyber-Physical   Systems?From a Reuse Perspective

赵海燕

NII Shonan Meeting on "Software Engineering   and Networked Control for Smart Cyber Physical Systems(SENCPS)

2017.8.20

日本

12

支持大数据的分布式机器学习系统Angel

崔斌

中国计算机学会YOCSEF学术报告会“新一代人工智能发展的机遇与挑战”

2017.8.19

兰州

13

国密算法与SSL协议技术与实践

关志

第四届中法城市可持续发展论坛信息安全与人工智能分论坛

2017.9.27

武汉

14

机器学习平台—Angel

崔斌

第十届中国国际信息技术博览会大数据云计算高峰论坛

2017.9.19

济南

15

度量开源生态系统的可持续性

周明辉

第二届中国软件成本度量大会及2017ISBCG IT Confidence大会

2017.9.20

北京

16

GmSSL项目与Fabric区块链国密模块

关志

版权区块链联盟CBCA区块链技术盘古论道沙龙

2017.9.16

北京

17

知识驱动的软件开发方法：程序员--企业--终端用户

谢冰

2017年中国软件工程研究与产业峰会

2017.9.24

上海

18

迈向毫米级的Wi-Fi无接触行为感知：理论与应用

张大庆

CCF 智能感知与城市计算前沿论坛

2017.10.25

福州

19

迈向毫米级的WiFI行为感知：从模式到模型

张大庆

中国计算机大会前沿无线感知计算论坛

2017.10.27

福州

20

软件定义一切：挑战和机遇

梅宏

2017中国计算机大会

2017.10.26

福州

21

群智感知最优任务分配：现状及新视角

王江涛

CCF智能感知与城市计算前沿论坛

2017.10.25

福州

22

Faster Mutation Analysis via Equivalence Modulo States

熊英飞

The PKU International Workshop on Modeling Analysis and Verification   of Large-Scale Complex Systems

2017.10

北京

23

DHA－I－型探针计算机

许进

中国电子学会电路与系统分会第二十八届学术年会

2017

北京

24

Phone Machine: Theory, Implementation, and   Application

许进

第二届未来网络计算国际研讨会

2017

长沙

25

图论与组合优化

许进

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

2017

北京

26

Intelligent Software Testing

郝丹

NASAC English Track

2017.11.5

哈尔滨

27

开源对软件人才培养带来的挑战

周明辉

中国IT教育博鳌论坛

2017.11.11

博鳌

28

GmSSL国密算法性能优化与安全增强技术

关志

中国可信云计算社区暨中国开源云联盟安全论坛

2017.11.11

北京

29

Learning to Synthesize

熊英飞

APLAS

2017.11

杭州

30

缺陷修复技术

熊英飞

全国软件分析测试与演化学术会议

2017.11

哈尔滨

31

探针机

许进

中国电子学会生物计算与生物信息处理专业委员会学术年会

2017.11.25

北京

32

Challenges on Computer Ethics in the Artificial Intelligence 2.0 Era

郭耀

2017 Global Forum on the Rule of Law

2017.11.19

北京

33

The Importance of   Environment Models in Requirements Identification and Determination

金芝

GRACE Symposium 2017 – Next Ten Years of   Software Engineering

2017.12.20

日本，东京

1

2017.1.25-2.15

新加坡

王江涛博士→新加坡国立大学计算学院

2

2017.2.20-2.24

美国

郭耀副教授→HotMobile 2017

3

2017.2.20-2.24

美国

郭耀副教授→Sonoma, CA, USA->HotMobile 2017

4

2017.3.23-26

日本

金芝教授→日本国立情报学研究所

5

2017.3.13-23

北京

Shi-chi Chang（香港科技大学）→重点实验室

6

2016.3.22-4.12

新加坡

张大庆教授→Nanyang Technological   University, SCE

7

2017.3.13--23

北京

香港科技大学张成志教授→重点实验室

8

2017.4.8-9

山东

王捍贫、曹永知教授→泰州学院计算机科学与技术学院

9

2017.4.23-5.12

北京

重点实验室¬意大利米兰理工大学Carlo Ghezzi教授

10

2017.4.23.-5.12

北京

重点实验室¬意大利米兰理工大学Christos Tsigkanos博士

11

2017.5.2-12

北京

重点实验室¬英国帝国理工大学Jeffery Kramer教授

12

2017.5.3--5

重庆

梅宏院士，金芝教授，赵海燕、周明辉副教授→西南大学

13

2017.5.17

长沙

张大庆教授→国防科学技术大学计算机学院

14

2017.５.２４

北京

重点实验室¬加拿大McMaster University郑榕副教授

15

2017.5.2-9

北京

重点实验室¬意大利米兰理工大学Luciano Baresi教授

16

2017.5.20-5.29

阿根廷

郭耀→→阿根廷ICSE 2017

17

2017.6.4-6.8

澳大利亚

郭耀→→悉尼VTC-Spring

18

2017.6.16

武汉

张大庆教授→武汉大学软件学院

19

2017.6.26

北京

重点实验室¬美国伦斯勒理工学院夏立荣教授

20

2017.6.26-6.30

美国

孙艳春→美国， 24th IEEE International Conference on Web Services(ICWS 2017)

21

2017.7.16-24

意大利

金芝→意大利米兰理工大学

22

2017.7.3-7.18

北京

重点实验室¬美国密苏里科学技术大学的SajalK.Das教授(IEEE Fellow)→重点实验室

23

2017.7.3-7.18

北京

重点实验室¬香港理工大学的曹建农教授(IEEE Fellow)→重点实验室

24

2017.7.3-7.18

北京

重点实验室¬中国科学院自动化研究所的徐常胜教授

25

2017.7.3-7.18

北京

重点实验室¬微软亚洲研究院的谢幸研究员

26

2017.7

意大利

金芝教授和博士生李念语→意大利米兰理工大学

27

2017.7.25

青岛

张大庆教授→第十三届和谐人机环境联合学术会议（HHME2017）

28

2017.7.26–29

北京

重点实验室¬美国麻省理工大学（MIT）Fadel Adib 助理教授

29

2017.7.31

北京

重点实验室¬高可信软件引智基地学术大师、欧洲科学院院士张可昭（Carl K. Chang）教授

30

2017.7.31

北京

重点实验室¬米兰理工大学Carlo Ghezzi教授

31

2017.7.31

北京

重点实验室¬新加坡国立大学黄铭钧（Beng Chin Ooi）教授

32

2017.7.31

北京

重点实验室¬威斯康辛大学麦迪逊分校蔡进一教授

33

2017.8.8-16

北京

重点实验室¬华东师范大学陈小红副教授

34

2017.8.8-16

北京

重点实验室¬Yijun Yu（英国开放大学）

35

2016.8.3-9.6

新加坡

张大庆教授→Nanyang Technological University, SCE

36

2017.8.8-16

北京

重点实验室¬广西师范大学的李智教授

37

2017.8.25-31

日本

赵海燕副教授→日本国立信息学研究所

38

2017.9.6-7

德国

周明辉副教授→德国召开的软件工程顶级会ESEC/FSE'17

39

2017.9.12

北京

重点实验室¬Dr.C. Mohan（美国工程院院士），IBM Almaden   Research Center

40

2017.9.19

北京

重点实验室¬日本东京大学Koji Yatani教授

41

2016.9.11 -9.17

美国

张大庆教授→参加UbiComp2017

42

2017.9.26-10.2

荷兰

王腾蛟教授→Statistics Netherlands

43

2017.10.4-10

日本

金芝→日本国立情报学研究所

44

2017.10.01-12.27

德国

曹永知→柏林自由大学

45

2017.10.23--24

大连

谢冰教授、邹艳珍副教授→东软集团股份有限公司大连东软河口软件园

46

2017.12-17

北京

重点实验室¬澳大利亚悉尼科技大学DidarZowghi教授

47

2017.12.15-20

日本

金芝，赵海燕，焦文品，和硕士生李博远→日本国立情报学研究所

48

2017.10.1-12.27

德国

曹永知→柏林自由大学

49

2017.9-2018.3

日本

博士生李念语→日本国立情报学研究所

五、国际期刊任职

六、国际会议任职

 七、国内期刊任职

  八、国内会议任职情况