Events

2026年5月24日（星期日） 杭州市西湖区余杭塘路866号浙江大学紫金港校区海纳苑4幢（理学部大楼）101会议室 此次论坛聚焦形式化方法与人工智能的双向赋能关系，围绕“形式化方法与AI的双向赋能”这一核心主题，沿AI4FM与FM4AI两大主线展开深入研讨。论坛旨在为学术界与工业界的专家学者提供一个交流平台，促进AI与形式化方法的双向赋能与技术突破，激发创新思维，推动相关技术应用落地，为智能时代下软件与系统的可信保障提供新的思路与方法。 主办单位：中国计算机学会 承办单位：中国计算机学会形式化方法专委会、浙江大学 组织委员会： 陈明帅，浙江大学 王竟亦，浙江大学 姚培森，浙江大学 袁胜浩，浙江大学 腾讯会议链接：https://meeting.tencent.com/dm/73StJScy9jSj 直播链接：https://live.bilibili.com/1879854569 会议日程 报告人 报告主题 时间 论坛开幕 09:00-09:15 孙军（新加坡管理大学） 构建可信赖的 AI 智能体：挑战与探索 09:15-10:00 中场休息 10:00-10:30 曹钦翔（上海交通大学） 定理证明与VST验证工具 10:30-11:00 姚远（南京大学） 基于神经符号融合的定理证明自动化技术 11:00-11:30 孙欢（上海AI Lab） 面向并发系统的信息安全精化验证：理论框架与智能体安全展望 11:30-12:00 午休 12:00-14:00 李钦（华东师范大学） 形式化方法赋能的AI生成软件制品可信评测与优化 14:00-14:30 文成（西安电子科技大学） 超越基准测试：大模型驱动程序规约合成的挑战与实践 14:30-15:00 中场休息 15:00-15:30 张睿涵（新加坡管理大学） Unlearnable Data in AI Era：理论，机制与挑战 15:30-16:00 王钟逸（浙江大学） 智能体驱动的大规模程序规约生成与自动化验证 16:00-16:30 论坛闭幕 16:30-16:45

November 7 - 11, 2025, Hangzhou, China The CAS President’s International Fellowship Initiative (PIFI) is a prestigious international exchange program launched by the Chinese Academy of Sciences to promote global scientific collaboration and academic exchanges.

2025年7月12日（星期六） 杭州市西湖区余杭塘路866号浙江大学紫金港校区海纳苑4幢（理学部大楼）101会议室 此次研讨会聚焦大模型技术与程序分析和验证领域的深度结合，围绕“大模型时代下程序分析与验证的理论与实践”展开前沿探讨。论坛旨在探索大模型技术为形式化方法带来的新范式与新工具，推动程序自动化分析、智能验证与系统安全保障的技术突破。此次研讨会的成功举办将为该领域的研究者和从业者提供一个交流合作的平台，激发创新思维，推动形式化方法与AI结合的技术创新和应用落地，为行业发展提供新的思路和方法。 主办单位：中国计算机学会 承办单位：中国计算机学会形式化方法专委会、浙江大学 组织委员会： 吴志林，中国科学院软件研究所 沈博，西北工业大学 陈明帅，浙江大学 王竟亦，浙江大学 姚培森，浙江大学 腾讯会议链接：https://meeting.tencent.com/dm/HXC1y2dy00if 直播链接：http://live.bilibili.com/24106724 会议日程 报告人 报告主题 时间 论坛开幕 09:00-09:15 张业迪（新加坡国立大学） Towards Trustworthy AI Agents: Integrating Large Language Models with Formal Methods 09:15-10:00 茶歇 10:00-10:30 时清凯（南京大学） 基于分治的可靠大语言模型应用 10:30-11:15 李屹（华为操作系统部OS内核实验室） 大模型驱动的泛形式化软件工程实践 11:15-12:00 午休 12:00-14:00 刘尚清（南京大学） 基于大语言模型的程序规约理解与生成 14:00-14:45 曹嘉伦（香港科技大学） From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Description to Verifiable Formal Proofs 14:45-15:30 茶歇 15:30-16:00 李昊坤（华为2012可信费马实验室） SMT(NRA)高效求解:结合局部搜索，MCSAT和openCAD的混合方法 16:00-16:45 论坛闭幕 16:45-17:00