FLOC26 to Host AIMACS Workshop on AI's Impact on Formal Methods

The AIMACS workshop at FLOC 2026, scheduled for July 25, will feature a panel discussing the implications of AI advancements for the future of computer science and formal methods.

2026-07-21 ~ 2026-07-23 · 2 related posts

• FloC 2026 AIMACS workshop on AI for math and CS set for July 25 — swarat · 2026-07-21
• FLOC26 panel will discuss what AI progress means for CS and formal methods — swarat · 2026-07-23