主持圆桌《Agent 软件工程的理论基础与工程实践》，组织围绕面向 agent 软件、形式化验证与系统可靠性的讨论。
▸ 主讲：Panel：Agent 软件工程的理论基础与工程实践（13:30–14:30）