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

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