Recent & Upcoming Events

本论坛聚焦形式化方法与人工智能的双向赋能关系，沿AI4FM与FM4AI两大主线展开深入研讨。论坛旨在为学术界与工业界的专家学者提供一个交流平台，促进AI与形式化方法的双向赋能与技术突破，激发创新思维，推动相关技术应用落地，为智能时代下软件与系统的可信保障提供新的思路与方法。

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. By fostering long-term partnerships, PIFI makes a significant contribution to advancing scientific innovation and addressing global challenges. PIFI DAY is the flagship event of this initiative; it aims to promote discussions on solutions to cutting-edge challenges and shape future research directions via intensive frontier academic presentations and exchanges in a specific research field.

本研讨会聚焦大模型技术与程序分析和验证领域的深度结合，围绕“大模型时代下程序分析与验证的理论与实践”展开前沿探讨。论坛旨在探索大模型技术为形式化方法带来的新范式与新工具，推动程序自动化分析、智能验证与系统安全保障的技术突破。此次研讨会的成功举办将为该领域的研究者和从业者提供一个交流合作的平台，激发创新思维，推动形式化方法与AI结合的技术创新和应用落地，为行业发展提供新的思路和方法。