2022年11月25日，2022 CCF中国软件大会（CCF ChinaSoft）“形式化方法专项”论坛成功举办。本次论坛由中国计算机学会（CCF）主办，CCF形式化方法专委会、复旦大学承办，华为形式化验证科学家秦胜潮、中国科学院软件研究所研究员/博导吴志林、华为费马实验室高级工程师熊家文共同组织，采用腾讯会议与在线直播两种方式线上进行。
本论坛邀请获得2022年“CCF-华为胡杨林创新基金”形式化方法专项资助的优秀学者进行项目进展介绍及技术交流。包括清华大学、上海交通大学、北京大学、浙江大学、深圳大学、武汉大学、南京理工大学、江苏师范大学、西北工业大学在内的9位优秀学者，通过主题 告形式，分享了相关课题的方案、技术和方法研究进展，并探讨未来的应用前景。
更多资讯请关注
声明：本站部分文章及图片源自用户投稿，如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢！