返回首页
-
联手形式化方法专业委员会：“线性时序逻辑”术语发布|CCF术语快线
2022-12-16线性时序逻辑(Linear temporal logic, 简称LTL)由阿米尔·伯努利在1977年提出[10]，它将时间轴定义为一个线性序列，用于表示模型的动态语义，应用时序运算符描述从一个给定的状态开始的某一条路径上的事件。
-
互联网架构中间件设计及实践 | TF83回顾
2022-12-15随着互联网行业的快速发展，面对海量用户规模，中间件作为一种通用的基础设施可以更好地支撑上层应用，提高软件的可复用性和降低复杂度。架构SIG在明年初还有一场活动，具体时间请见文末，欢迎关注报名。
-
2022CCSP全国赛及分赛在各认证点举办，山东大学严一涵荣获全国赛总冠军
2022-12-15 -
CNCC2022致谢函
2022-12-14为期3天的2022中国计算机大会（CNCC2022）于12月10日晚顺利闭幕，至此，CNCC已成功举办19届。CCF感谢并致敬每一位台前幕后贡献者，你们殚精竭虑、夜以继日的付出，确保了本届CNCC圆满举行并在多个维度突破历史。
-
CCF科普中国联合创作培育计划启动征集
2022-12-14依托中国科协与中国科学院联合推出的科普中国前沿科技项目，中国计算机学会实施“科普中国前沿科技·计算科普创作培育计划”，征集优秀新媒体科普作品，发掘培育一批优秀创作团队及个人。
-
【报名】数据洞察与数据驱动 | 12月20日TF87
2022-12-14如何利用数据洞察用户，提供更加贴心的产品和服务？如何利用数据驱动业务增长和健康发展？我们请来了四位一线专家，跟大家分享数据洞察和数据驱动的精彩案例。
-
《开放架构HPC技术与生态白皮书》正式发布
2022-12-132022年12月12日-15日，以“新算力 新赋能 新未来”为主题的第十八届全国高性能计算学术年会（CCF HPC China 2022）在线上成功举办。在主论坛上，《开放架构HPC技术与生态白皮书》（以下简称白皮书）正式发布。
-
CCF分布式计算与系统专委会“云边协同计算”专题研讨会在线上成功举办
2022-12-122022年12月3日，由CCF分布式计算与系统专业委员会和中南大学计算机学院联合主办的主题为“云边协同计算”的专题研讨会在线上成功举办。
京公网安备 11010802032778号
