FloC 2026 AIMACS workshop on AI for math and CS set for July 25
swarat · x · 2026-07-21
AIMACS workshop at FloC 2026 will run on July 25 and focuses on AI for math and computer science.
It includes:
- a tutorial by @KaiyuYang4 on AI-assisted theorem proving
- a tutorial by Clark Barrett and Sorrachai Yingchareonthawornchai on CSLib, the Lean computer science library
- talks by @lorisdanto, @gtsoukal, and Moa Johansson
- a panel on how computer scientists should respond to AI progress, moderated by the poster author, with @vardi, @ShriramKMurthi, Pavithra Prabhakar, and Armando Solar-Lezama
- poster presentations and other workshop content
More from AGI Musings
- Competition is pushing AI forward faster than ever, the post says — eyishazyer · 2026-07-21
- Why adversaries can make even coin flips predictable — snikolov · 2026-07-21
- Scott Aaronson says AI theorem proofs do not mean P vs NP is around the corner — fortnow · 2026-07-21
- AI makes polished analysis look authoritative, but humans still matter — aloncarmel · 2026-07-21
- AI guilt debates look arbitrary next to the water footprint of dairy milk — PeterDiamandis · 2026-07-21
- A note on David Bessis: mathematical intuition can be trained over time — paraschopra · 2026-07-21