October 26, 2011

2011年“二十一世纪的计算”学术研讨会

Lieu: 清华大学

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