Events

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