时 间 |
演讲题目 &主讲人 |
08:00-08:50 |
来宾签到 |
08:50-09:00 |
欢迎致辞 |
09:00-09:45
|
Microsoft Research: Turning ideas into reality for 20 years |
| Rick Rashid 博士 | |
| 微软公司全球首席研究官 美国工程院 (NAE) 院士 |
|
9:45-10:30
|
Model Checking and the Curse of Dimensionality |
| Edmund M. Clarke 教授 | |
| 卡耐基梅隆大学计算机科学学院FORE荣誉教授，电气和计算机工程教授 2007图灵奖获得者 |
|
10:30-11:15 |
Compressive Sensing |
| Emmanuel Candes 教授 | |
| 斯坦福大学数学、统计学教授及电子工程荣誉教授 | |
11:15-11:50 |
现场对话与问答 |
11:50-13:30 |
午餐 |
13:30-13:40 |
微软学者奖学金颁奖典礼 |
13:40-14:25 |
Quantum Computing: A Great Science in the Making |
| 姚期智 教授 | |
| 清华大学交叉信息研究院院长 2000年图灵奖获得者 美国科学院 (NAS) 及美国艺术与科学学院 (AAAS) 院士 |
|
14:25-15:10 |
Beyond Nash Equilibrium: Solution Concepts for the 21st Century |
| Joseph Halpern 教授 | |
| 康奈尔大学计算机科学系主任、教授，美国人工智能协会 (AAAI) 美国计算机学会(ACM) 及美国科学发展协会 (AAAS) 院士 | |
15:10-15:55 |
Extracting Models from Data |
| 洪小文 博士 | |
| 微软亚洲研究院院长 电气电子工程师学会 (IEEE) 院士 |
|
15:55-16:25 |
现场对话与问答 |
16:35-17:35 |
主题论坛
主持人: Peter Lee (微软雷德蒙研究院院长) 论坛嘉宾 (以字母顺序排列):
|
17:35-17:45 |
大会结束 |