返回首页
-
联手形式化方法专委会“可满足性模理论”术语发布 | CCF术语快线
2021-11-18本期新增术语新词：可满足性模理论(Satisfiability modulo theories)。可满足性模理论指函数和关系符号在背景理论中进行解释的谓词逻辑公式的可满足性判定问题。
-
CNCC2021坚定走来！一个月后，让我们深圳一“会”！
2021-11-17这是一场克服重重困难的相聚。积极响应疫情防控，尽管延长了等待，也增加了更多的期待！12月16-18日的，CNCC2021将“如约归来”。始终未变的高规格、高水准，我们深圳见！
-
60余位专家齐聚烟台，共同探讨跨界服务前沿学术 | 数图回看
2021-11-17“CCF服务计算服务中国系列论坛：跨界服务”在烟台举办。本次论坛由中国计算机学会主办，中国计算机学会服务计算专委会、烟台大学承办，山东理工大学、CCF YOCSEF青岛协办。论坛聚焦服务计算跨界服务领域前沿学术动态，来自全国各大高校的60多位代表参会，分享服务计算领域的最新研究成果、创新思想和科学方法。“阅读原文”进入CCF数图，CCF会员免费观看。
-
CNCC2021请来了人工智能专家Yolanda Gil教授做特邀报告
2021-11-16特邀报告嘉宾阵容，历来都是CNCC备受关注的焦点，体现着CNCC的实力水平及行业影响力。每年CNCC都会邀请若干位外籍专家作为特邀报告讲者，他们当中有院士、图灵奖获得者及成果斐然、极具国际声望的知名学者。
-
CCF发布2020-2021中国计算机科学技术发展报告
2021-11-14《2020-2021中国计算机科学技术发展报告》（以下简称《发展报告》）电子版现已发布在CCF188体育投注中，点击底部“阅读原文”即可浏览。限CCF会员可以免费下载。 本年度《发展报告》的组织和策划工作得到了CCF各专业委员会和广大会员的大力支持与积极响应，共收到23份反映不同方向进展的报告申请。CCF学术工作委员会组织评审，遴选出具有代表性的高水平报告共14篇。
-
联手自然语言处理专委会：“开放域人机对话”术语发布 | CCF术语快线
2021-11-12本期新增术语新词：开放域人机对话(Open-Domain Dialogue)。开放域人机对话是指人类通过自然语言的形式与机器进行不限定领域的对话过程，以及为使机器实现上述过程的相关研究和应用的统称。
-
ADL124《188体育app官网：》开始报名
2021-11-10188体育app官网：是大数据时代重要的知识表示方式。本期ADL邀请学界与业界资深从业人员，介绍188体育app官网：的基础和前沿进展，包括图谱构建与推理，查询与检索，预训练模型知识库，事理图谱与认知推理等。这些技术有效地推动了188体育app官网：在各个领域中的应用。
-
CCF188体育投注编审委员会成立
2021-11-092021年11月8日，CCF188体育投注编审委员会在京成立。 CCF秘书长唐卫清出席了成立会议，并为CCF188体育投注（以下简称“数图”）首届编审委员会主任、中国人民大学教授孟小峰颁发了主任聘书，孟小峰为现场的委员们颁发了委员聘书。来自CCF专业委员会、高校图书馆、出版社及学会期刊的14名首批数图编审委员会委员和CCF副秘书长王新霞通过线上、线下会议的形式参加了此次会议。
京公网安备 11010802032778号
