序 号 |
会议名称 |
日期 |
国内或 国际 |
承办人 |
备注 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
1 |
The 16th IEEE International Conference on Ubiquitous Intelligence and Computing (UIC 2019) |
2019．8.19- 23 |
国际 |
王亚沙 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
2 |
中国电子学会电路与系统分会“第三十届学术年会”暨“首届电路与系统周” |
2019.10.18-22 |
国内 |
许进 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
3 |
北京大学-华为可信软件联合研讨会 |
2019.09.06 |
国内 |
胡振江 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
4 |
北大大-东大-NII信息科学论坛 |
2019.09.23-25 |
国际 |
学院承办 胡振江主导 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
5 |
北华为-北大计算机研讨会 |
2019.11.15 |
国内 |
胡振江 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
6 |
北京大学暑期课程“物联网与大数据计算” |
2019.7.15-20 |
国际 |
王平 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
二、特邀报告
三、互访情况 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
序 号 |
日 期 |
地点 |
访问方（单位）→接待方(单位) |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
1 |
2019.1.25-2.2 |
澳大利亚 |
曹永知→University of New South Wales |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
2 |
2019.2.28-3.14 |
英国 |
金芝教授、罗懿行博士→英国开放大学、英国兰卡斯特大学、英国威斯特敏斯特大学 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
3 |
2019.5.16-17 |
中国香港 |
王乐业→香港科技大学，DiDi-HKUST Smart Mobility Workshop |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
4 |
2019.5.24-6.1 |
加拿大 |
李戈→Montreal International Conference on Program Comprehension |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
5 |
2019.5.12-5.18 |
美国 |
郭耀 →WWW 2019 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
6 |
2019.5.24-6.2 |
加拿大 |
郭耀→ICSE 2019 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
7 |
2019.5.12-19 |
美国 |
刘譞哲、马郓、徐梦炜、陈震鹏 →WWW 2019 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
8 |
2019.6.1 |
中国厦门 |
王乐业→厦门大学，第三届CCF智能感知与城市计算前沿论坛 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
9 |
2019.7.6-7.12 |
美国 |
罗超然 →ICDCS 2019 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
10 |
2019.7.8-13 |
意大利 |
金芝、张大庆、赵海燕、孙艳春→意大利2019 IEEE WORLD CONGRESS ON SERVICES |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
11 |
2019.7.10 |
北京 |
澳大利亚昆士兰大学高级讲师 阴红志→重点实验室 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
12 |
2019.7.15-30 |
北京 |
意大利米兰理工大学Carlo Ghezzi教授→重点实验室 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
13 |
2019.7.31 |
广西 |
金芝→广西The 13th International Symposium on Theoretical Aspects of Software Engineering（TASE） |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
14 |
2019.7.1-8 |
北京 |
英国牛津布鲁克斯大学朱鸿教授→重点实验室 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
15 |
2019.7.23 |
加拿大 |
博士生李念语→参加了在加拿大蒙特利尔举办第41届认知科学年会 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
16 |
2019.8.25-9.1 |
爱沙尼亚 |
陈震鹏 →ESEC/FSE 2019 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
17 |
2019.8.17 |
中国北京 |
王乐业→清华大学，6th Mobile Networking, Analytics and Edge Intelligence Workshop |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
18 |
2019.8.5-16 |
英国 |
曹永知→Edinburgh Napier University; Birkbeck, University of London |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
19 |
2019.8.6-14 |
北京 |
加拿大维多利亚大学Hausi Muller教授→重点实验室 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
20 |
2019.8.12 |
北京 |
加拿大维多利亚大学Hausi Muller教授→重点实验室 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
21 |
2019.8.12-14 |
北京 |
英国开放大学俞一俊教授→重点实验室 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
22 |
2019.8.15 |
北京 |
瑞士ETH 助理教授张策 →重点实验室 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
23 |
2019.08.20 |
北京 |
Cornell University→ 重点实验室 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
24 |
2019.09.10 |
北京 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
25 |
2019.10.2-6 |
澳大利亚 |
金芝教授→澳大利亚悉尼科技大学 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
26 |
2019.10.27-31 |
日本福冈 |
王乐业→九州大学，AWASE 2019 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
27 |
2019.10.28-29 |
日本 |
黄罡、田得雨 →Internetware 2019 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
28 |
2019.10.20 |
北京 |
耶鲁大学教授杨阳→重点实验室 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
29 |
2019.11.08 |
北京 |
Beuth-University of Applied Sciences Berlin →重点实验室 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
30 |
2019.10.28-29 |
日本 |
黄罡、田得雨 →Internetware 2019 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
31 |
2019.10.20 |
北京 |
耶鲁大学教授杨阳→重点实验室 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
32 |
2019.10.28-29 |
日本 |
李戈→福冈Internetware 2019 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
33 |
2019.11.11 |
广州 |
谢涛→ICECCS 2019 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
34 |
2019.11.11-14 |
美国 |
谢涛→圣地亚哥ASE 2019 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
35 |
2019.11.15-19 |
美国 |
谢涛→Urbana University of Illinois at Champaign-Urbana |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
36 |
2019.12.7-16 |
日本 |
李戈→福冈Internetware 2019 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
37 |
2019.12.9-15 |
北京 |
意大利米兰理工大学Carlo Ghezzi教授→重点实验室 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
38 |
2019.12.14-15 |
北京 |
魏茨曼科技大学David Harel教授→重点实验室 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
39 |
2019.12.14-15 |
北京 |
美国加州州立大学Sorel Reisman教授→重点实验室 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
40 |
2019.12.14-15 |
北京 |
日本早稻田大学Shinichi Honiden教授→重点实验室 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
41 |
2019.12.14-15 |
北京 |
美国伊利诺伊大学芝加哥分校Wolfson Ouri教授→重点实验室 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
42 |
2019.12.14-15 |
北京 |
日本南山大学Aoyama Mikio教授→重点实验室 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
43 |
2019.12.14-15 |
北京 |
英国伦敦威斯敏特大学Vladimir Getov教授→重点实验室 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
44 |
2019.12.14-15 |
北京 |
美国田纳细大学Mockus Audris教授→重点实验室 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
45 |
2019.12.14-15 |
北京 |
美国佛罗里达大学Sumi Helal教授→重点实验室 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
46 |
2019.12.14-15 |
北京 |
莫斯科国立大学Ruslan Smelyanskiy教授→重点实验室 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
四、学术报告 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
序 号 |
日 期 |
报告内容 |
报告人 |
地 点 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
1 |
2019.1.9 |
量子程序验证 |
冯元教授， 澳大利亚悉尼科技大学 |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
2 |
2019.1.9 |
Bridging the Gap Between Software Engineering and Data Mining |
夏鑫讲师， 澳大利亚蒙纳士大学 |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
3 |
2019.7.1 |
Combinatorial algorithms for high dimensional statistics |
刘振明教授， 美国College of William & Mary |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
4 |
2019.7.15 |
The Joys and Frustrations of Software Engineering |
Mark Harman |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
5 |
2019.7.16 |
“Being a researcher in Computer Science and understanding research methods” |
Carlo Ghezzi教授, 意大利米兰理工大学 |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
6 |
2019.8.20 |
Guarded Kleene Algebra with Tests |
Nate Foster , Cornell University |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
7 |
2019.09.10 |
Binary semantics extraction from natural language specifications |
Mizuhito Ogawa , Japan Advanced Institute of Science and Technology |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
8 |
2019.10.11 |
Universal Interoperability Across Information Systems |
Robert Kahn博士， 图灵奖得主 |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
9 |
2019.9.9 |
AIOT时代的操作系统：机遇、挑战与展望 |
陈海波教授， 上海交通大学 |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
10 |
2019.7.1 |
Combinatorial algorithms for high dimensional statistics |
刘振明教授，美国College of William & Mary |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
11 |
2019.11.2 |
Secure Data Search and Sharing, and More. |
Kaitai Liang助理教授， 英国Surrey大学 |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
12 |
2019.11.2 |
Integrating Feeding Robots into the Internet of Things (IoT): Challenges and Solutions |
Cheng Zhang助理教授，日本早稻田大学 |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
13 |
2019.11.8 |
Explainable Machine Understanding and Examples for Clinical Applications |
Alexander Loser,Beuth University of Applied Sciences Berlin |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
14 |
2019.11.12 |
Stabilizing mixed vehicular platoons with connected automated vehicles: An H-infinity approach |
Yang Zhou研究员, University of Wisconsin-Madison |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
15 |
2019.11.23 |
Semantic-Aware Detection of Missing-Check Bugs in OS Kernels |
Kangjie Lu， Assistant professor Computer Science & Engineering Department University of Minnesota-Twin Cities |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
16 |
2019.12.14 |
On Odor Reproduction, and How to Test For It |
David Harel教授，魏茨曼科技大学 |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
17 |
2019.12.14 |
Systematizing the Development of Technology Enhanced Instruction |
Sorel Reisman教授，美国加州州立大学 |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
18 |
2019.12.14 |
Overview of TopSE Education Program-Education of Top-level Software Engineer Based on Computer Science |
Shinichi Honiden教授，日本早稻田大学 |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
19 |
2019.12.14 |
Consciousness, AI, and Coordination: What is the relationship? |
Wolfson Ouri教授，美国伊利诺伊大学芝加哥分校 |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
20 |
2019.12.14 |
An Analysis Method of Software Ecosystems Based on the Deep Representation Learning over the Ecosystem Graph Model |
Aoyama Mikio教授，日本南山大学 |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
21 |
2019.12.14 |
Decentralised Workload Scheduling for Cluster and Cloud Computing |
Vladimir Getov，英国伦敦威斯敏斯特大学 |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
22 |
2019.12.14 |
Curated Code Resource to Support Research in Open Source Ecosystems |
Mockus Audris教授，美国田纳西大学 |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
23 |
2019.12.15 |
Digital Health – Back to the Future |
Sumi Helal教授，美国佛罗里达大学 |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
24 |
2019.12.15 |
MC2E: Meta-Cloud Computing Environment for HPC |
Ruslan Smelyanskiy教授，莫斯科国立大学 |
北京大学 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
五、国际期刊任职
序 号 |
任职人 |
期刊名称 |
任职类型 |
1 |
崔斌 |
Distributed and Parallel Databases |
Editorial Board Member |
2 |
崔斌 |
Information Systems |
Editorial Advisory Board Member |
3 |
郝丹 |
Software Testing， Verification & Reliability |
Editor |
4 |
梅宏 |
IEEE Transactions on Services Computing |
Associate Editor |
5 |
梅宏 |
Software and System Modeling |
Associate Editor |
6 |
梅宏 |
Journal of Web Services Research |
Member of Editorial Board |
7 |
梅宏 |
Frontiers of Computer Science |
Member of Advisory Board |
8 |
黄罡 |
Journal of Internet Services and Applications (Springer) |
Member of Editorial Board |
9 |
黄罡 |
ACM Transactions on Internet Technology |
Member of Editorial Board |
10 |
熊英飞 |
IEEE Transactions on Software Engineering |
Review Board Member |
11 |
张路 |
Software Testing, Verification and Reliability |
Editorial Board |
12 |
金芝 |
IEEE Transactions on Software Engineering |
Associate Editor |
13 |
金芝 |
IEEE Transactions on Reliability |
Associate Editor |
14 |
金芝 |
Requirements Engineering Journal |
Editorial Board Member |
15 |
金芝 |
International Journal of Software Engineering and Knowledge Engineering |
Editorial Board Member |
16 |
谢涛 |
Wiley Journal of Software Testing, Verification and Reliability (STVR) |
Co-Editor-in-Chief |
17 |
谢涛 |
Communications of ACM (CACM) |
Editorial Board Member |
18 |
谢涛 |
IEEE Transactions on Software Engineering (TSE) |
Associate Editor |
19 |
谢涛 |
ACM Transactions on Internet Technology (TOIT) |
Associate Editor |
20 |
谢涛 |
IEEE Software |
Advisory Board Member/Awards Chair |
21 |
谢涛 |
IEEE Software |
Special Theme Issue Guest Editor |
22 |
胡振江 |
Science of Computer Programming |
编委 |
23 |
胡振江 |
Software and Systems Modeling |
编委 |
六、国际会议任职
序 号 |
任职人 |
会议名称 |
任职类型 |
1 |
崔斌 |
SIGMOD、VLDB |
PC 委员 |
2 |
崔斌 |
KDD 2019 |
PC 高级委员 |
3 |
崔斌 |
DASFAA 2020 |
PC 主席 |
4 |
崔斌 |
ICDE 2020 TKDE Poster |
PC 主席 |
5 |
高军 |
ICDE 2020 |
PC Member |
6 |
高军 |
CIKM 2019 |
PC Member |
7 |
郝丹 |
the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020) |
Program Committee Member |
8 |
郝丹 |
The 42nd International Conference on Software Engineering (ICSE 2020) |
Program Board Member |
9 |
郝丹 |
The 41st International Conference on Software Engineering (ICSE 2019) |
Program Committee Member of the Research Track, the New Ideas and Emerging Results Track |
10 |
郝丹 |
The 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019) |
Program Committee Member of the Research Track, the Doctoral Symposium-track, the Demonstrations-track, and the Student Research Competition-track ；Late Breaking Results Co-Chair； |
11 |
郝丹 |
The ACM SIGSOFT International Symposium on Software Testing and Analysis（ISSTA 2019） |
Artifact Evaluation Co-Chair |
12 |
郝丹 |
The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020) |
Program Committee Member |
13 |
郝丹 |
The IEEE International Conference on Software Testing, Verification, and Validation (ICST 2019) |
Program Committee Member; Publicity Co-Chair |
14 |
郝丹 |
The IEEE International Conference on Software Testing, Verification, and Validation (ICST 2020) |
Program Committee Member |
15 |
郝丹 |
The 35th International Conference on Software Maintenance and Evolution (ICSME 2020) |
Publicity Co-Chair |
16 |
郝丹 |
The 35th International Conference on Software Maintenance and Evolution (ICSME 2019) |
Program Committee Member |
17 |
郝丹 |
The IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2019) |
Program Committee Member |
18 |
郝丹 |
The IEEE Working Conference on Mining Software Repositories (MSR 2019) |
Program Committee Member |
19 |
刘譞哲 |
28th ACM International Conference on Information and Knowledge Management (CIKM 2019) |
TPC |
20 |
刘譞哲 |
The 25th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD 2019) |
TPC |
21 |
刘譞哲 |
2019 IEEE International Conference on Web Services (IEEE ICWS 2019) |
Track Chair |
22 |
刘譞哲 |
28th ACM International Conference on Information and Knowledge Management (CIKM 2019) |
TPC |
23 |
刘譞哲 |
The World Wide Web conference 2019 (WWW 2019) |
TPC |
24 |
刘譞哲 |
The 25th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD 2019) |
TPC |
25 |
郭耀 |
2019 IEEE Conference on Mobile Computing, Services and Engineering (MobileCloud) |
Program Committee Member |
26 |
王乐业 |
AAAI 2020 |
TPC Member |
27 |
王亚沙 |
The 16th IEEE International Conference on Ubiquitous Intelligence and Computing (UIC 2019) |
General Chair |
28 |
熊英飞 |
ICSE 2019 |
PC Member |
29 |
熊英飞 |
ASE 2019 |
PC Member |
30 |
熊英飞 |
ISSTA 2019 |
PC Member |
31 |
熊英飞 |
FASE 2019 |
PC Member |
32 |
张路 |
34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019) |
PC Member |
33 |
赵海燕 |
15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems(SEAMS 2020) |
Publicity co-chair |
34 |
赵俊峰 |
Urban Computing 2.0，2019 IEEE SmartWorld, Ubiquitous Intelligence & Computing |
Panel Chair |
35 |
周明辉 |
SANER 2020 |
PC co-chair |
36 |
周明辉 |
ICSE 2020 |
PC |
37 |
周明辉 |
ASE 2019 |
PC |
38 |
孙艳春 |
The 24th IEEE International Conference on Web Services (ICWS 2019) |
Program committee member |
39 |
孙艳春 |
The 31st International Conference on Software Engineering and Knowledge Engineering (SEKE 2019) |
Program committee member |
40 |
孙艳春 |
The 2019 IEEE SERVICES Symposium on Service Computing |
Chair |
41 |
孙艳春 |
ACM TURC 2019 |
Program committee member |
42 |
谢涛 |
International Conference on Software Engineering (ICSE 2021) |
Program Committee Co-Chair |
43 |
谢涛 |
International Conference on Software Engineering (ICSE 2019) |
Program Committee Member |
44 |
谢涛 |
International Conference on Software Engineering (ICSE 2020) |
Program Board Member |
45 |
谢涛 |
ACM Conference on Computer and Communications Security (CCS 2019) |
Program Committee Member |
46 |
谢涛 |
IEEE International Conference on Software Testing, Verification and Validation (ICST 2020) |
Program Committee Member |
47 |
谢涛 |
International Conference on Software Engineering (ICSE) |
Steering Committee Member |
48 |
谢涛 |
ACM Richard Tapia Celebration of Diversity in Computing (Tapia) |
Steering Committee Member |
49 |
谢涛 |
International Symposium on Software Testing and Analysis (ISSTA) |
Steering Committee Member |
50 |
胡振江 |
ACM PEPM 2020程序委员会 |
共同主席 |
51 |
胡振江 |
AWASE 2019的程序委员会 |
共同主席 |
52 |
胡振江 |
POPL 2019 |
程序委员 |
53 |
胡振江 |
MODELS 2019 |
程序委员 |
54 |
胡振江 |
FM 2019 |
程序委员 |
55 |
胡振江 |
MPC 2019 |
程序委员 |
56 |
胡振江 |
PPDP 2019 |
程序委员 |
57 |
胡振江 |
第十一届亚太网构会议及第八届亚洲高级软件工程研讨会 |
七、国内期刊任职
序 号 |
任职人 |
会议名称 |
任职类型 |
1 |
崔斌 |
软件学报 |
编委 |
2 |
崔斌 |
中国科学-信息 |
编委 |
3 |
郝丹 |
《计算机科学》智能软件工程专刊 |
特邀编委 |
4 |
张路 |
软件学报 |
编委 |
5 |
张路 |
计算机研究与发展 |
编委 |
6 |
许进 |
电子信息学报 |
编委 |
7 |
金芝 |
软件学报 |
执行主编 |
8 |
金芝 |
计算机学报 |
副主编 |
9 |
金芝 |
Journal of Computer Science and Technology |
编委 |
10 |
胡振江 |
《国家科学评论》 |
编委 |
11 |
胡振江 |
《中国科学》 |
编委 |
12 |
胡振江 |
《中国信息：信息科学》 |
编委 |
13 |
吴中海 |
电子学报 |
编委 |
14 |
谢涛 |
Journal of Computer Science and Technology |
Leading Editor of the Area "Software Systems" |
15 |
谢涛 |
SCIENCE CHINA Information Sciences (SCIS) |
Young Scientists Committee Member |
16 |
谢涛 |
Cybersecurity |
Editorial Board Member |
17 |
谢涛 |
信息安全学报 |
编委 |
八、国内会议任职
序 号 |
任职人 |
会议名称 |
任职类型 |
1 |
郝丹 |
全国软件与应用会议NASAC 2019 |
Program Committee Member |
2 |
金芝 |
第18届全国软件与应用学术会议 (NASAC2019) |
大会共同主席 |
3 |
谢涛 |
Journal of Computer Science and Technology (JCST) |
Leading Editor of the Area "Software Systems" |
4 |
胡振江 |
第四届全国形式化方法与应用会议 (FMAC 2019)程序委员会 |
共同主席 |
5 |
吴中海 |
电子学报 |
编委 |
6 |
谢涛 |
全国软件与应用会议NASAC 2019 |
Program Committee Member |
九、国内外学术机构任职
序 号 |
姓名 |
任职机构或组织 |
职务 |
1 |
王腾蛟 |
国家统计专家咨询委员会 |
委员 |
2 |
王腾蛟 |
国家外交部大数据专委会 |
委员 |
3 |
王腾蛟 |
中国计算机学会数据库专委会 |
委员 |
4 |
王腾蛟 |
中国计算机学会大数据专家委员会 |
委员 |
5 |
王腾蛟 |
中国软件行业协会数据与智能专委会 |
委员 |
6 |
陈薇 |
中国计算机学会大数据专家委员会 |
通讯委员 |
7 |
崔斌 |
VLDB Endowment |
理事 |
8 |
崔斌 |
中国计算机学会数据库专委会 |
秘书长 |
9 |
郝丹 |
CSoft Chapter of ACM |
秘书 |
10 |
赵俊峰 |
大数据标准工作组技术专题组、SOA支撑技术与中间件工作组、软件化技术标准化工作组 |
秘书长 |
11 |
赵俊峰 |
中国电子工业标准化技术协会数据管理应用推进分会 |
理事 |
12 |
孙艳春 |
IEEE Technical Committee on Services Computing |
Chair of Women in Services Computing (WISC) Committee |
13 |
孙艳春 |
ACM SIGCSE China |
理事 |
14 |
孙艳春 |
CCF 软件工程专委会 |
委员 |
15 |
孙艳春 |
CCF 服务计算专委会 |
委员 |
16 |
许进 |
军委科技委生物交叉与军事医学领域专家委员会 |
委员 |
17 |
许进 |
中国电子学会生物计算与生物处理专业委员 |
理事长 |
18 |
许进 |
教育部信息安全专业教学指导委员会 |
委员 |
19 |
许进 |
中国电路与系统学会 |
副主任委员 |
20 |
许进 |
中国网络空间安全协会 |
委员 |
21 |
金芝 |
中国计算机学会 |
常务理事 |
22 |
金芝 |
中国计算机学会软件工程专业委员会 |
主任 |
23 |
金芝 |
中国人工智能学会知识工程与分布智能专委会 |
副主任 |
24 |
金芝 |
International Requirements Engineering Committee China Chapter (CREB) |
副主席 |
25 |
金芝 |
ACM SigSoft |
cSoft Liaison |
26 |
王平 |
教育部信息网络工程中心技术委员会 |
委员 |
27 |
谢涛 |
中国计算机学会软件工程专业委员会 |
候任副主任 |
28 |
谢涛 |
ACM SIGSOFT |
执行委员会委员及其历史联络员 |
29 |
谢涛 |
北美计算机华人学者协会软件工程专业委员会 |
联合主席 |
30 |
谢涛 |
北美计算机华人学者协会Board of Directors |
委员 |
31 |
谢涛 |
ACM历史委员会 |
委员 |
32 |
谢涛 |
CCF-IEEE CS 青年科学家奖奖励委员会 |
委员、候任主席 |
33 |
谢涛 |
ACM中国理事会奖励委员会 |
委员 |
34 |
谢涛 |
IEEE Software杂志Best Paper Award奖励委员会 |
委员 |
35 |
谢涛 |
ICSME 2019 Most Influential Paper Award奖励委员会 |
共同主席 |
36 |
谢涛 |
中国计算机学会软件工程专业委员会 |
委员 |
37 |
谢涛 |
中国计算机学会系统软件专业委员会 |
委员 |
38 |
谢涛 |
ACM Distinguished Speaker Program (DSP) |
成员 |
39 |
谢涛 |
未来论坛青年科学家创新联盟 |
成员 |
40 |
谢涛 |
The Engineering Panel (Joint Research Schemes) of the Research Grants Council, Hong Kong |
Member |
41 |
胡振江 |
日本国立信息学研究所 |
特任教授 |
42 |
胡振江 |
日本学术振兴会（JSPS） |
基础研究S（类似于中国的973项目）的首席 |
43 |
胡振江 |
日本先端科学技术大学 |
客座教授 |
44 |
郭耀 |
中国计算机学会系统软件专委会 |
委员 |
45 |
吴中海 |
中国计算机学会嵌入式系统专业委员会 |
主任 |