延期通知：2023年CCF-华为胡杨林基金形式化专项

阅读量:330 2023-06-12 收藏本文

鉴于产业课题比开放课题需要更多时间分析问题和交付目标，部分专家反馈时间紧/申请书还在准备之中；特将产业课题的申报截止时间延长至2023年6月24日24：00（北京时间），开放课题不在延期范围内，欢迎大家积极申报（请学者特别关注“基于局部搜索的程序轻量形式化验证技术”与“基于RISC-V实现的带可信执行环境处理器的形式化验证技术”这两个课题）。

产业课题指南与申请书下载，请链接：https://www.ccf.org.cn/Collaboration/Enterprise_Fund/News/hw/2023-04-28/791078.shtml

<<< 上一篇 2023年CCF-华为胡杨林基金可信计算领域专项开

2023年度CCF-华为胡杨林基金-系统软件专项评下一篇 >>>

<<< 下一篇 2023年度CCF-华为胡杨林基金-系统软件专项评