2026华为形式化方法研讨会，聚集国内外形式化方法领域的30余位顶级专家学者，共同围绕"形式化方法如何为Agent提供可信保障，AI如何重塑形式化方法的实践范式"这一核心议题展开深度研讨，共绘Agent时代可信系统的技术蓝图与发展路径。除了受邀专家给出的 12 个精彩报告之外，本次会议也设置了圆桌讨论环节，所有会议参与者可就相关主题进行深入讨论。 http://t.cn/AXSOBjFj