交流互访

首页 >> 开放与交流 >> 交流互访 >> 2018

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

序

号

会议名称

日期

国内或国际

承办人

备注

1

大数据时代的软件自动化的机遇和挑战

2018.10.11-13

国际

梅宏

北京

2

普适计算国际华人沙龙

2018.10.9

国际

张大庆

3

CCF 智能无线感知 ADL

2018.7.21-22

国内

张大庆


二、学术报告

序

号

日 期

报告内容

报告人

地点

1

2018.3.6

EQ-Radio: Emotion   Recognition using Wireless Signals

赵明民博士--MIT

北京大学

2

2018.4.12

区块链：价值互联网的数字基因

伍前红--北京航空航天大学

北京大学

3

2018.4.2

Recursion in Quantum   Programming

应明生教授--清华大学

北京大学

4

2018.5.25

求解多智能体简单时序问题的弧相容方法

李三江教授--悉尼科技大学

北京大学

5

2018.5.25

QFrag: Distributed   Graph Search via Subgraph Isomorphism

Dr. Marco Serafini，Qatar   Computing Research

Institute

北京大学

6

2018.7.19

Big Learning - Towards AI 3.0

Xiaolin Li--佛罗里达大学

北京大学

7

2018.7.30

Software Architecture   Analysis: Theory and Practice

Yuanfang Cai

北京大学

8

2018.7.3

Pervasive computing   for critical applications

Stephan Yau

北京大学

9

2018.7.26

Protecting User Security and Privacy in   Emerging Platforms

Yuan Tian--

北京大学

10

2018.7.17

Moving beyond Weiser’s   vision of Ubicomp

Gregory Abowd, Georgia Tech

北京大学

11

2018.7.18

Computational   intelligence for the Internet of Everything

张新宇

北京大学

12

2018.7.23

Doppler and FSK   radar, Doppler and range measurement

李长治

北京大学

13

2018．7.27

Key Technologies for Autopilot

李成军--腾讯

北京大学

14

2018.8.13

Privacy Protection   for Mobile Cloud to Prevent Data Over-collection

Meikang Qiu--哥伦比亚大学

北京大学

15

2018.10.19

Variational Sequence-to-Sequence Models: Problems   and Fixes

Lili Mou

北京大学

16

2018.11.15

消息传递系统中信息流安全的组合式验证

李希萌博士

北京大学

 

三、特邀报告

序

号

报告名称

报告人

会议名称

日期

地点

1

Precise Program Repair

熊英飞

Programming Lauguage Workshop

2018.03.01

日本东京

2

Angel: A New Large-scale Machine Learning   System

崔斌

KAUST Research Conference: Computational   and Statistical Interface to Big Data

2018.3.19-

21

沙特国王科技大学

3

System Design for Distributed Machine   Learning

崔斌

The ACM TURC 2018 (SIGMOD China) conference

2018.5.19

上海

4

群智感知计算：从城市感知到社群健康管理

王江涛

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

2018.5.24

重庆

5

缺陷修复技术

熊英飞

中国科学院大学前沿系列讲座

2018.5.11

北京

6

Toward Millimeter-scale Human Activity   Sensing with Wi-Fi Signals: Theory and Applications

张大庆

GPC 2018

2018.5.11

杭州

7

从菲涅尔区衍射模型到人体呼吸检测

张大庆

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

2018.5.25

重庆

8

Precise Program Repair

熊英飞

2018.05.28

SINTEF/瑞典奥斯陆

9

Theory on Maximal Planar Graphs

许进

The 3rd IEEE International   Conference on Data Science in Cyberspace IEEE DSC’2018

2018.6.18

广州

10

Figure out a Competitive Research Project   Proposal

金芝

ICSE New Faculty Symposium

2018.6.29

瑞典

11

缺陷修复技术和
  北京大学近期进展

熊英飞

全国软件、理论与系统领域优秀青年学者研讨会

2018.7.8

北京

12

分布式机器学习算法的系统优化

崔斌

大数据专业教学研讨会

2018.7.27

乌鲁木齐

13

迈向毫米级的WiFi无接触感知：从模式到模型

张大庆

CCF 智能无线感知 ADL

2018.7.21

北京

14

WiFi-based Non-intrusive Human Sensing for   Aging-in-place

张大庆

ICA 2018

2018.7.29

新加坡

15

Probe Computer

许进

The 15th Graph Masters Conference

2018.7.13

西安

16

安全攸关软件常见缺陷查找与修复

熊英飞

2018.08.16

502所

17

Exploring the Future of Internetware:   Towards Software Defined Social-Cyber-Physical Systems

黄罡

第十届亚太网构软件研讨会会议

2018.9.16

北京

18

智慧城市群智感知最优任务分配研究新视角

王江涛

和谐人机环境联合会议（HHME 2018）智慧城市群智计算青年技术论坛

2018.9.15

天津

19

Optimizing Task Allocation in Mobile Crowd   Sensing: New Research Perspectives

王江涛

NTU-PKU物联网与人工智能研讨会

2018.10.8

新加坡

20

Statistical Program Repair

熊英飞

大数据时代软件自动化的基于和挑战

2018.10.17

北京

21

北京大学ER模型研究与实践——三十年前的回忆

杨冬青

ER2018 - 37th

International Conference on Conceptual Modeling的特别论坛“ER模型在中国的传播和发展

2018.10.22

西安

22

Human Respiration Sensing with Wi-Fi   Signals: Theory and Applications

张大庆

PKU-NTU Workshop

2018.10.8

新加坡

23

WiFi无接触感知与智能健康：理论、实践、挑战与机遇

张大庆

CNCC 健康感知论坛

2018.10.26

杭州

24

探针计算机

许进

2018全国高性能计算学术年会

2018.10.19

青岛

25

Probe Computer

许进

The 3rd International Workshop   on Future Network Computing

2018.10.16

长沙

26

缺陷修复教程

熊英飞

NASAC-Repair Track

2018.11.23

深圳

27

智能化软件测试

郝丹

NASAC青年论坛

2018.11.25

深圳

   

四、互访情况

   日 期

地点

访问方（单位）→接待方(单位)

2018.2.12-24

澳大利亚

王江涛→访问澳大利亚新南威尔士大学

2018.3.19-21

沙特阿拉伯         

崔斌→King Abdullah University of Science and Technology   (KAUST) in Thuwal, Saudi

Arabia

2018.3.16-21

北京

IOWA State University的Carl K. Chang教授（欧洲科学院院士、IEEE Fellow）→重

点实验室

2018.3.25-3.31

德国

郭耀→德国Bamberg->MobileCloud 2018

2018.4.16-21

北京

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

2018.4.16-21

北京

意大利维也纳理工大学的Christos Tsignakos博士→重点实验室

2018.4.23-27

法国

刘譞哲、陈震鹏、陆璇→WWW2018

2018.4.23-26

葡萄牙

徐梦炜→EuroSys2018

2018.4.28-5.3

德国

金芝→Dagstuhl   Seminar 18182- Software Business, Platforms, and Ecosystems:

Fundamentalsof  Software Production

2018.5.24-25

德国

金芝→ hamburger University- PC Meeting of IEEE   International Conference of

Requirements Engineering

2018.5.27-6.3

瑞典

金芝、郭耀、周明辉、郝丹、熊英飞→Sweden ICSE   2018- IEEE/ACM International

Conference on Software Engineering

2018.5.26-6.4

瑞典

郭耀→瑞典Goteburg->ICSE 2018

2018.7.2-7.7

美国

孙艳春→ IEEE SERVICES 2018

2018.7.2-5

奥地利

刘譞哲→ICDCS2018

2018.7.8-12

美国

李豁然→SIGIR2018

2018.7.1-7.6

奥地利

郭耀→奥地利 维也纳->ICDCS 2018

2018.8.7-8.11

新加坡

郭耀→新加坡SecureComm 2018, 新加坡国立大学

2018.8.6-18

Bristol，UK

郝丹→Meng   Wang(Bristol University)

2018.10.7-10.8

新加坡

王江涛→南洋理工大学计算机学院Lily研究中心

2018.10.8-10

北京

Meng Wang(Bristol University)→重点实验室

2018.11.11-15

澳大利亚

金芝→ University of Technology, Sydney

2018.11.16-17

澳大利亚

金芝→ Griffth   University, Australia – Asia Workshop of Advanced Software

Engineering

2018.11.15

北京

首师大李希萌博士→重点实验室

2018.12.14-15

日本

金芝→ National Institute of Informatics, Japan

2018.12.16-20

日本

金芝→Shonan   Meeting, Japan – Self-Adaptive Systems

五、国际期刊任职

序

号

任职人

期刊名称

任职类型

1

崔斌

Distributed and Parallel Databases

Editorial Board     Member

2

崔斌

Information Systems

Editorial Advisory Board Member

3

郝丹

IEEE Transactions on Software Engineering

Reviewer Board

4

梅宏

ACM Computing Survey

Associate Editor

5

梅宏

IEEE Transactions on Services Computing

Associate Editor

6

梅宏

Software and System Modeling

Associate Editor

7

梅宏

Journal of Web Services Research

Member of Editorial Board

8

梅宏

Frontiers of Computer Science

Member of Editorial Board

9

黄罡

Journal of Internet     Services and Applications (Springer)

Member of Editorial Board

10

金芝

Requirements     Engineering Journal

Editorial Board     Member

11

金芝

International     Journal of Software Engineering and Knowledge Engineering

Editorial Board     Member

12

金芝

Journal of Computer Science and Technology

Editorial Board     Member

13

王亚沙

IEEE Computer

Guest Editor

14

熊英飞

IEEE Transactions on Software Engineering

Review Board Member

15

张大庆

IEEE Transactions on Big Data

Associate Editor

16

张大庆

ACM Transaction on Intelligent Systems and Technology

Associate Editor

17

张大庆

IEEE Pervasive Computing

Associate Editor

18

张大庆

ACM IMWUT

Associate Editor

 

六、国际会议任职

序

号

任职人

会议名称

任职类型

1

曹东刚

the 9th IEEE International Workshop on Joint Cloud Computing

PC Co-chair

2

崔斌

VLDB、ICDE、KDD、SIGIR

PC 委员

4

高军

Internal conference     on Data Engineering (ICDE 2018)

PC

5

郝丹

22nd     International Systems and Software Product Line Conference， 2018

General Co-Chair

6

郝丹

International     Symposium on Software Testing and Analysis, 2019

Artifact Evaluation     Track Co-Chair

7

郝丹

International Conference on Software Engineering, 2019

PC

8

郝丹

International Conference on Software Engineering, New Idea and     Emerging Results, 2019

PC

9

郝丹

Asian Pacific Conference on Software Engineering, 2019

PC

10

郝丹

International     Working Conference on Source Code Analysis and Manipulation, 2018

PC

11

郝丹

International     Conference on Software Maintenance and Evolution

PC

12

郝丹

International Conference on Software, Analysis, Evolution, and     Reengineering, 2019

PC

13

郝丹

International     Conference on Automated Software Engineering, 2018

PC

14

郝丹

International Conference on Software Testing, Verification, and     Validation, 2018

Publicity Co-Chair, PC

15

刘譞哲

International Conference on Service-Oriented     Computing （ICSOC     2018，CCF B类）

TPC

16

刘譞哲

27th ACM International Conference on     Information and Knowledge Management (CIKM 2018，CCF B类)

TPC

17

刘譞哲

24TH ACM SIGKDD Conference on Knowledge     Discovery and Data Mining （CCF A类）

TPC

18

刘譞哲

The World Wide Web conference 2018 （CCF A类）

TPC

19

金芝

IEEE International Conference on Advanced and Trust Computing     Conference (ATC 2018)

大会主席

20

金芝

The 16th IEEE/ACIS International Conference on Software     Engineering Research, Management and Applications (SERA 2018)

大会主席

21

孙艳春

THE 25TH IEEE INTERNATIONAL     CONFERENCE ON WEB SERVICES (ICWS 2018)

PC member

22

孙艳春

The 30th International Conference on Software Engineering &     Knowledge Engineering（SEKE 2018）

PC member

23

孙艳春

IEEE Asia-Pacific     Services Computing Conference(APSCC 2018)

PC member

24

孙艳春

ACM TURC 2018

PC member

25

熊英飞

ASE 2018

PC

26

熊英飞

MODELS 2018

Publicity Chair

27

熊英飞

SPLC 2018

Publicity Chair

28

熊英飞

FASE 2018

PC

29

张大庆

16th International Conference On Smart homes and     health telematics

Steering committee member

30

张大庆

ACM UbiComp 2018

Session Chair

31

张大庆

IEEE UIC 2018

Steering committee member

32

赵海燕

7th International     Conference on Model-Driven Engineering and Software Development (MODELSWARD     2019)

PC member

33

赵海燕

Requirements     Engineering Conference (RE’18)

Workshop selecting     Committee member

34

周明辉

ICSME 2018

NIER Co-Chair

35

周明辉

ICSE 2018

PC

36

周明辉

MSR 2018

PC

37

郭耀

2018 IEEE Conference on Mobile Computing, Services     and Engineering (MobileCloud)

Program Committee Member

38

王昭

14th EAI International Conference on     Security and Privacy in Communication Networks

Publicity and Social Media     Co-Chair

 

七、国内期刊任职

序

号

任职人

会议名称

任职类型

1

崔斌

软件学报

编委

2

金芝

软件学报

执行主编

3

金芝

计算机学报

副主编

4

金芝

Journal of Computer Science and     Technology

编委

5

张路

软件学报

编委

6

郝丹

软件学报专刊

责任编辑之一

7

李戈

软件学报智能化软件开发专刊

编委

八、国内会议任职情况

序

号

任职人

会议名称

任职类型

    备注

1

郝丹

全国软件与应用会议NASAC优秀博士论坛

Track Co-Chair

2

郝丹

全国软件与应用会议NASAC

PC

3

郝丹

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

PC

4

金芝

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

大会共同主席

5

熊英飞

第4届软件工程青年学者沙龙

主办人

6

张大庆

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

主席

7

郭耀

2017年全国软件与应用学术会议

软件安全领域主席

 

九、国内外学术机构任职情况

序

号

姓名

任职机构或组织

职务

           备注

1

崔斌

VLDB Endowment

理事

2

黄罡

IEEE Technical Committee on Business Informatics and     Systems (电气和电子工程师协会业务信息与系统技术委员会)

Executive Committee Member(执行委员会委员)

3

黄罡

中国电子学会青年科学家俱乐部

副主席

4

黄罡

中国计算机学会专委工作委员会

副主任

5

刘譞哲

中国计算机学会学术工作委员会

委员

6

孙艳春

IEEE Technical Committee on Services Computing

Chair of Women in Services Computing (WISC) Committee

7

孙艳春

ACM SIGCSE China

理事

8

孙艳春

CCF 软件工程专委会

委员

9

孙艳春

CCF 服务计算专委会

委员

10

王亚沙

中国计算机学会普适计算专委会

常委

11

熊英飞

BX Advisory Board

Member

12

李戈

CCF软件工程专委会

秘书长

13

王腾蛟

国家统计专家咨询委员会

委员

14

王腾蛟

国家外交部大数据专委会

委员

15

王腾蛟

中国计算机学会数据库专委会

委员

16

王腾蛟

中国计算机学会大数据专家委员会

委员

17

王腾蛟

中国软件行业协会数据与智能专委会

委员

 

 

高可信软件技术教育部重点实验室(北京大学) , Key Lab of High Confidence Software Technologies(PKU), Ministry of Education