June 27, 2026
STOC 2026, Salt Lake City, Utah, USA
https://pritishkamath.github.io/ai-tcs-stoc-2026/#about
Submission deadline: May 29, 2026
This workshop will explore the intersection of artificial intelligence and theoretical computer science. Through invited talks, a panel discussion and a poster session, we hope to foster a community-wide dialogue on whether and how AI can augment our current methodologies or redefine how we approach research in theoretical computer science.
Call for Posters
We invite submissions from researchers and practitioners across all backgrounds. Submissions can cover any TCS or math domain. If you are unsure whether your work fits the scope, we strongly encourage you to submit anyway!
Topics of interest include:
AI-assisted proof search and algorithm discovery
Agentic harnesses for accelerating research
Proof formalization (e.g., Lean, Rocq, Isabelle)
Effective human-AI collaboration
CS Theory Events 