beat365中文官方网站线上学术报告会（2020年11月15日）
报告题目1：理论界需要研究算礼——新问题、新度量、新模型和新抽象
报 告 人： 徐志伟 中国科学院计算技术研究所研究员 中国科学院大学岗位教授
报告时间：2020年11月15日（星期天）上午 9:00-9:45
腾讯线上会议号：691 454 550
摘要：本报告是一个计算机系统老兵和理论粉丝的呼吁。计算系统领域缺乏“算法”这样简洁的学术概念，使得计算系统研究往往需要研制原型和基准程序测试，耗时耗资源，研究结果难以重现。今后20年，计算系统研究面临多样性挑战，迫切需要理论指导，超越“原型测试”的传统方法。近年来，中科院计算所提出了“算礼（computation protocol）是系统领域的算法”的学术观点，开展了信息高铁（information superbahn）研究，对理论界提出了需求，包括新问题、新度量、新模型和新抽象。例如,集中-分散系统的分类问题、高通量与强实时度量、针对人机物三元计算的Lamport Machine模型与抽象等。
专家简介：徐志伟 现任中科院计算所研究员、学术委员会主任，中国科学院大学岗位教授，Journal of Computer Science and Technology主编，《计算机研究与发展》主编。
1987年获美国南加州大学博士学位。长期从事高性能计算体系结构与分布式系统研究。历任曙光信息产业有限公司总工程师，中科院计算所研究员、副所长、总工程师、学位委员会主任。出版《Scalable Parallel Computing》、《计算机科学导论》等著作多部。提出了普惠计算（Computing for the masses）、人机物三元计算等学术思想，向国际社区贡献了大数据云计算开源软件。获国家科技进步奖、中国计算机学会王选奖。。目前主持的科研项目包括：科技部云计算与大数据重点专项“软件定义云计算”项目，国家自然科学基金委 “面向大数据内存计算的计算机体系结构”重点项目,中国科学院网络计算创新研究院“物端计算系统”项目。2001年以来的志愿者服务包括：科技部“中国云”科技专项总体专家组成员，中科院“未来信息技术先导专项”专家组成员，欧盟 “网格操作系统”重大项目专家组成员，国家自然科学基金委信息科学部专家咨询委员；IEEE Transactions on Computers、Parallel Computing等国际期刊编委。
报告题目2：算法终止？——从教学上体会“势能方法”
报 告 人：李晓明 北京大学 教授
报告时间：2020年11月15日（星期天）上午 9:50-10:35
腾讯线上会议号：691 454 550
报告摘要：在数学上，“证明”是为了确认定理的成立。在计算机科学的算法讨论中，“证明”所涉及的大致可分为三个方面。一是可终止性，二是正确性，三是复杂性。不同方面的证明有不同的思路。为了证明正确性，一种常用的方式是识别出算法过程中的某种“不变量”（invariant）；为了证明复杂性，递推函数（recurrent function）常常是好用的工具。这两个方面在教学中已有较多提及，不是本报告的重点。为了证明算法终止，一种思路是识别或构造出一个量，证明它在算法过程中单调减且有下界，姑且叫它“势能方法”（的确也和向量场的势能函数在观念上一致）。本报告将尝试用几个例子来展示和说明它，与大家探讨相关的认识。
专家简介：李晓明，北京大学瑞声慕课讲席教授，中国计算机学会会士。近年兴趣主要在于计算机科学与社会科学的交叉互动，也一直关注利用网络信息技术改进教学的问题。曾获2008国家教学成果二等奖，2013中国计算机学会王选奖，2014中国计算机学会杰出教育奖，2018北京市教学成果一等奖。
报告题目3：数据驱动的因果推理
报 告 人：李廉 合肥工业大学 教授
报告时间：2020年11月15日（星期天）上午 10:55-11:40
腾讯线上会议号：691 454 550
报告摘要：报告对于数据驱动的因果推理做了介绍，侧重于其中的若干理论问题，例如因果关系的定义，识别因果关系中的混杂，实验数据与观察数据的区别，以及因果推理所必须的假设依赖。同时列举了三个例子，分别介绍了因果推理在医学、机器学习、法律应用领域的必要性和有效性。
专家简介：李廉，合肥工业大学教授。2013-2018年任教育部高等学校大学计算机课程教学指导委员会主任，2014-2019任中国计算机学会理论计算机专业委员会主任。主要从事大数据应用，机器学习、因果计算等领域的研究。先后承担或参与国家自然科学基金重大研究计划重点项目2项，面上项目7项，973计划前期研究专项1项，省部级重点项目1项；参加国家科技攻关计划项目2项；先后发表各类论文130余篇；已获得授权专利4项，国家软件著作权10件。获安徽省教学成果一等奖一项，国家教学成果二等奖一项。
欢迎广大师生参加！
beat365体育亚洲官方网站beat365中文官方网站
2020年11月9日
