2026年CCF形式化方法专委会青年学术论坛——形式化方法与AI的双向赋能专题研讨会 | Formal Verification Group https://fiction-zju.github.io/events/ccfyf26/ 2026年CCF形式化方法专委会青年学术论坛——形式化方法与AI的双向赋能专题研讨会 Wowchemy (https://wowchemy.com)en-usSun, 24 May 2026 00:00:00 +0000 https://fiction-zju.github.io/media/sharing.jpeg 2026年CCF形式化方法专委会青年学术论坛——形式化方法与AI的双向赋能专题研讨会 https://fiction-zju.github.io/events/ccfyf26/