| 时 间 | 演讲题目 &主讲人 |
| 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 (微软雷德蒙研究院院长) 论坛嘉宾 (以字母顺序排列): 陈汐 教授 (哥伦比亚大学) John Hopcroft 教授 (康奈尔大学) 吴建平 教授 (清华大学) 张黔 教授 (香港科技大学) 舒为都 教授 (美国麻省理工学院) |
| 17:35-17:45 | 大会结束 |