延期通知：2023年CCF-华为胡杨林基金形式化专项
2023-06-12
鉴于产业课题比开放课题需要更多时间分析问题和交付目标，部分专家反馈时间紧/申请书还在准备之中；特将产业课题的申报截止时间延长至2023年6月24日24：00（北京时间），开放课题不在延期范围内，欢迎大家积极申报（请学者特别关注“基于局部搜索的程序轻量形式化验证技术”与“基于RISC-V实现的带可信执行环境处理器的形式化验证技术”这两个课题）。
产业课题指南与申请书下载，请链接：/Collaboration/Enterprise_Fund/News/hw/2023-04-28/791078.shtml
阅读量：350
读完这篇文章后，您心情如何？
京公网安备 11010802032778号
所有评论仅代表网友意见