FLOC26 panel will discuss what AI progress means for CS and formal methods
swarat · x · 2026-07-23
At FLOC26, an AIMACS workshop panel will discuss what AI progress means for the future of computer science and formal methods.
The session is scheduled for 5:15 pm on Saturday, July 25, and features Vardi, Shriram Krishnamurthi, Armando Solar-Lezama, and Pavithra Prabhakar. The poster says the moderator plans to ask hard questions about AI progress and its implications for the field.
Related event: FLOC26 to Host AIMACS Workshop on AI's Impact on Formal Methods(2 posts)→
More from AGI Musings
- Rita Kozlov says AI writing feels wrong because it erases the writer’s own voice — ritakozlov · 2026-07-23
- Phil Venables says AI agents will need SEC-style accountability frameworks — philvenables · 2026-07-23
- A video says an economic model points to possible AI-driven knowledge collapse — Tasty-Aspect-6936 · 2026-07-23
- Mat Dryhurst argues the online creator market now pits everyone against everyone — matdryhurst · 2026-07-23
- A math joke turns LLM criticism into a threat to dump unreadable theory on arXiv — airkatakana · 2026-07-23
- X blocking is the gentler option, but the post demands useful AGI discourse — suchenzang · 2026-07-23