返回首页
-
形式化方法赋能计算机其他领域|CCF数图焦点第39期
2024-11-22形式化方法是基于严格数学基础的计算机软硬件正确性与安全性保障方法，近20年发展迅速，技术多样，应用领域广泛。近年来，其与人工智能统计学派的交叉融合成为研究热点。本次专题聚焦形式化方法与计算机其他领域的融合，聚合相关资源，方便会员学习。
-
-
CCSP金奖说 | 清华大学蒙瑞俊：创新方式学习算法知识，真实情境锻炼系统能力
2024-11-21 -
2024首届CCF中国数字金融大会倒计时19天！
2024-11-20首届“CCF中国数字金融大会”将于2024年12月6-8日在上海举办，大会以“创新.融合.安全”为主题，汇聚国内外专家，共同探讨数字金融的战略与技术前沿。诚邀数字金融领域人士，共襄盛举，推动行业高质量发展。
-
-
CCSP金奖说 | 武汉大学卢凯宾：我的算法竞赛成长之路
2024-11-20 -
CNCC2024 | 第三届CCF UIC论坛“校企合作赋能创新人才发展”15位嘉宾精彩观点大放送
2024-11-20在科技迅猛发展的今天，培育创新人才已成为衡量国家竞争力的核心指标。校企合作作为一种高效的人才培养模式，日益受到广泛关注和重视。在此背景下，第三届CCF UIC论坛“校企合作赋能创新人才发展”专题论坛于10月26日在浙江省东阳市横店成功举办。
-
抗量子计算密码及应用研讨会在京举办
2024-11-18由中国计算机学会(CCF)主办，CCF抗恶劣环境计算机专委会、北京大学网络空间安全研究院、中国电科15所共同承办的《抗量子计算密码及应用研讨会》于2024年11月15日在京举办。
京公网安备 11010802032778号
