Lean 软件验证大会登陆斯坦福,新增 AI 安全与形式化验证圆桌
ChrSzegedy · x · 2026-11-07
由 Beneficial AI Foundation 与 Lean FRO 联合主办的 Software Verification in Lean (SVIL) 大会将于 11 月 7 日在斯坦福大学举行,聚焦推动 Lean 软件验证生态走向生产环境,尤其是安全关键系统的端到端验证。
- 议题包括:Aeneas 框架下的 Rust 验证、底层软件验证、形式化验证的 OS 内核等
- 演讲嘉宾:Max Tegmark、Leonardo de Moura、Jonathan Protzenko、Andres Erbsen、Mike Dodds、Shaowei Lin 等
- 新增闭幕圆桌(4:45–5:30pm PT),主题为 AI 安全与形式化验证,由 Type Theory Forall 播客主持人 Pedro Abreu 主持
- 线下名额已满,仍可通过 Luma 注册观看直播,会后提供录像
「公司和人」频道最新
- Ollama 携 FriendliAI 在首尔设宴，百余名韩国科技高管共话开源模型 — ollama · 2026-11-07
- ASUG Tech Connect 观察：SAP 客户告别观望，但仍被迁移与 AI 就绪度拖累 — jonerp · 2026-11-07
- Nvidia 招聘动向曝光:不止卖卡,还要贴身服务 AI 原生公司 — AJChadha · 2026-11-07
- UnitedHealth 高管：AI 正开启雇主医保的代际更替周期 — julesyoo · 2026-11-07
- Cloudflare 一周动态:攻政府市场,推出 AI Agent 管控分析 — AJChadha · 2026-11-07
- OpenAI 设「AI 咨询」方向，前咨询顾问 Dhruv 牵头在旧金山招全栈工程师 — sherwinwu · 2026-11-07