ADL128《理论计算机科学—图、网络与解空间的连通性理论》开始报名 2022-07-22
理论计算机科学是计算机科学的数学根基。近年来,在理论计算机科学前沿发展出的大量深刻成果,都与“连通性”密切相关。此次我们将以“图、网络、解空间的连通性”这一主题为线索,关注近年来在高效算法理论方面的一...
ADL126《高可信智能软件系统》开始报名-线上线下同步举办 2022-07-19
软件日益“定义一切”,为信息化社会提供基础设施。当前,面对开放的环境和多变的需求,以“能感知、可适应、会学习”为特征的智能软件系统不断涌现,支撑了自动驾驶、智能制造、智慧城市等关键应用。如何保障此类系...
ADL125《AI+DB》开始报名 2022-06-07
大数据时代,人工智能(AI)与数据库(DB)分别在数据分析与数据查询处理方面承担着重要角色。AI+DB的基础和前沿,包括智能自治数据库、库内机器学习、面向AI的数据准备等技术,使DB更智能,AI更高效,有效推动了DB...
CCD2022 | 北大李晓明、国科大徐志伟、上交大臧斌宇、国防科大毛新军苏州开讲 2022-03-28
2022年CCF计算机课程改革导教班(CCD)将于8月20~27日在苏州举办。我们邀请到北大李晓明、国科大徐志伟、上交大臧斌宇、国防科大毛新军等专家讲授四门课程:社会科学问题研究的计算实践、计算机科学导论、计算机系统...
ADL123《敏捷芯片设计与开发》开始报名 2021-11-30
传统芯片开发面临设计底层,开发周期长,优化难度大等诸多问题。敏捷芯片设计旨在通过高层次的抽象、模块化的组件、自动化的工具降低芯片设计与开发门槛。本期ADL邀请学界和业界资深讲者,介绍敏捷芯片设计的理论、...
ADL123《敏捷芯片设计与开发》 2021-11-22
ADL124《知识图谱》 2021-11-15
ADL124《知识图谱》开始报名 2021-11-10
知识图谱是大数据时代重要的知识表示方式。本期ADL邀请学界与业界资深从业人员,介绍知识图谱的基础和前沿进展,包括图谱构建与推理,查询与检索,预训练模型知识库,事理图谱与认知推理等。这些技术有效地推动了知...