本次论坛分三个阶段举行。论坛第一阶段由李戈主持，国防科技大学董威教授进行主题 告。结合自主协同系统的实际需要，董威从系统需求、控制程序合成、安全防护程序合成等方面进行了分析，并介绍了团队在软件智能合成领域的探索。
论坛最后举行思辨环节，由詹乃军主持，董威、李戈、李晓锋、陈小红及西北工业大学董云卫教授共同就“软件智能合成：形式化vs深度学习”进行讨论。各位专家介绍了自己在软件智能合成及形式化方法上的探索，共同分析了软件智能合成的发展趋势及当前的应用价值，并探讨了形式化方法和深度学习方法在软件智能合成任务中的作用和关系。与会嘉宾一致认为，形式化方法和深度学习各有优势，如何有机融合这两种方法从而更好地促进软件合成，是未来十分值得探索的研究问题。
声明：本站部分文章及图片源自用户投稿，如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢！