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.
Invited Speakers
In-Person Speakers
Virtual Speakers
Panel Discussion
The panel will feature a number of established researchers who will share their perspectives on how they see AI influencing the future of theoretical computer science.
Organizers
- Pritish Kamath (Google Research)
- Pravesh Kothari (Princeton)
- Mariana Raykova (Google)
- Abhradeep Thakurta (Google Deepmind)
- Nikhil Vyas (Open AI)
We seek poster submissions that explore the intersection of artificial intelligence and theoretical computer science. Topics of interest include, but are not limited to:
- AI-assisted proof search and algorithm discovery,
- Agentic harnesses for accelerating theoretical research,
- Formalization of proofs (e.g. in Lean, Rocq, Isabelle, etc.),
- Exploration of effective human-AI collaboration.
These could be related to any domain of interest to theoretical computer science or mathematics.
We welcome contributions from researchers and practitioners across all backgrounds, including academia and industry. If you are uncertain whether your research fits the exact scope, we strongly encourage you to submit regardless!
Key dates:
- Submission deadline: May 29, 2026 (AoE)
- Notification: June 10, 2026
Program
Details coming soon...