关于 ccf 的文章

导语    形式化方法是具有严格数学基础的保障计算机软硬件正确性与安全性的方法，在近20年取得了长足进步，已经在国内外头部公司（比如微软、亚马逊、华为等）取得了成功应用。    形...

2025年1月3日，年度首场CCF文化沙龙（抚顺站）在辽宁石油化工大学人工智能与软件学院举办。CCF常务理事、传播工委主任李轩涯介绍了CCF文化解读的起源及深远意义，CCF传播工委...

2024年CCF-联想蓝海科研基金-智能云运维与建设专项课题即将于2025年1月18日 24:00（北京时间）截止申报，欢迎CCF会员积极申报。2024年度CCF-联想蓝海科研基金...

点击底部“阅读原文”可浏览《CCF数图焦点》第46期详细内容编者寄语人工智能（AI）技术已成为全球科技竞争的新高地，深刻改变着各行各业的生产方式、生活方式乃至思维方式。在这一背景下...

本期SPP报告主要面向新手研究生，介绍从阅读大量文献到确定研究方向，再到撰写论文的整个过程中的一些实用方法。报告主要结合了讲者个人博士期间的经验，相对更适合从事系统方向研究的同学参...

“CCF最高科学技术奖”授予在计算机科学、技术和工程领域取得重大突破，成就卓著、贡献巨大的资深中国计算机科技工作者。CCF奖励委员会决定授予武汉达梦数据库股份有限公司冯裕才教授、清...

2024年中国网络安全大事件网络投票正式开启，2024年国内网络安全领域究竟发生了哪些大事？扫描下方二维码，选择您认为最重要的十件大事吧！投票规则2024年12月31日至2025年...

12月28日上午，在首届CCF中国数据大会上，第四届全国计算机科学技术名词审定委员会（以下简称“计算机名词委”）成立数据库与大数据审定分委员会，并召开数据库与大数据审定分委会第一次...

2024年12月7日CCF GESP第八次认证已顺利结束。电子证书将于2025年1月2日起发放，需要纸质证书的考生可于2025年1月2日-1月12日期间在报名系统中申请纸质证书。C...

2024年12月28日-30日，首届CCF中国数据大会（ChinaData 2024）在海南琼海博鳌亚洲论坛国际会议中心举办。站在2024年与2025年之交，盛会收官，新年正启，让...