主办单位：国家自然科学基金委信息科学部 协 办：龙星计划委员会 (Dragon Star Program Committee) “计算机科学面临的挑战” 高层研讨会 主办单位：国家自然科学基金委信息科学部 协 办：龙星计划委员会 (Dragon Star Program Committee)
注意事项 所有发言限制15分钟 允许随时打断进行讨论
9:20—10:30 大组会：概论 主席： 刘志勇 1．“Is Computer Stuff Science, Engineering, or something else?”， 赵 伟，TAMU 2．“计算机怎么算高性能？怎么算安全可 靠？”， 闵应骅，中科院计算所 3．“新的计算模式中的挑战性问题”，应明生， 清华大学计算机系 4．“机器学习及其挑战”，周志华，南京大学
10：50—12:00 大组会：系统与硬件 主席：赵 伟 1．“超级计算机的发展趋势和挑战”， 桂亚东，上海超级计算中心 10：50—12:00 大组会：系统与硬件 主席：赵 伟 1．“超级计算机的发展趋势和挑战”， 桂亚东，上海超级计算中心 2．“新一代对等网络系统拓扑结构的研 究”，陈贵海，南京大学计算机系 3．“传感器网络的概念、问题与研究进 展”，李建中，哈尔滨工业大学
14:30—16:30 分组会（1）：一般论题 主席：赵 伟 1．“计算机科学面临五个挑战领域”，段振华，西安电 子科技大学 14:30—16:30 分组会（1）：一般论题 主席：赵 伟 1．“计算机科学面临五个挑战领域”，段振华，西安电 子科技大学 2．“芯片功耗与摩尔定律的终结”，骆祖莹，清华大学 3． “和谐人机环境中的情感计算理论研究”，陶健华， 中科院自动化所 4．“服务质量(QoS)路由理论与实现的核心问题”，崔 逊学，清华大学 5．“重视计算机伦理学研究与教学”，冯继宣，浙江万 里大学
14:30—16:30 分组会（2）：前瞻性论题 主席：闵应骅 14:30—16:30 分组会（2）：前瞻性论题 主席：闵应骅 1． “普适计算对未来计算的影响”, 周兴社, 西北工业 大学 2．“泛系理论与计算机科学”，李永礼，兰州大学 3．“计算机操作系统中的几个泛系关系”，刘永兵， 兰州大学 4．“非经典模型理论”，褚蕾蕾，西安交通大学理学 院 5．“形式语义与网络环境构建”，李廉，兰州大学
20:00—21:30 大组会： 加班 主席：闵应骅 “自然人机接口----改变人机交互方式”, 王 坚, Microsoft Research Asia “协议开发的理论与方法”，罗军舟，东南大学 “挑战软件生命周期中非确定性的科学问题和互 操作性的应用基础问题”，何克清，武汉大学 李 皓
12月28日
8:30—10:10 大组会：软件与网络 主席：闵应骅 1．“程序设计语言的变革”，陈火旺 王戟，国防科 大 8:30—10:10 大组会：软件与网络 主席：闵应骅 1．“程序设计语言的变革”，陈火旺 王戟，国防科 大 2．“集群系统的发展趋势”，郑纬民，清华大学 3．“Localized Algorithms and Their Applications in Ad Hoc Wireless Networks” ，吴 杰，FAU 4． “互连网ontology 的特征”，许卓群，北京大学
10:20—12:00 大组会：理论、算法和应用 主席：肖连华 10:20—12:00 大组会：理论、算法和应用 主席：肖连华 1．“生物分子几何及图形学研究”，彭群生， 浙江大学 2．“Algorithmic Mechanism Design”，朱洪， 复旦大学 3．“应该加强对算法的基础研究”，马军，山 东大学 4．“多媒体信息检索和过滤面临的难题”，薛 向阳，复旦大学计算机系