FLOC26 将举办 AIMACS 工作坊探讨 AI 影响

FLOC 2026 大会期间的 AIMACS 工作坊定于 7 月 25 日举行，主题为“AI for Math and Computer Science”。届时，活动将举办专题讨论会，深入探讨人工智能的快速发展对计算机科学与形式化方法未来的深远影响及意义。

2026-07-21 ~ 2026-07-23 · 2 条相关

• FloC 2026 的 AIMACS 工作坊 7 月 25 日举行 — swarat · 2026-07-21
• FLOC26 面板将讨论 AI 进展对 CS 和形式化方法的影响 — swarat · 2026-07-23