ACM STOC 2026, Theoryfest, Charles H. Bennett's Turing Award Lecture, Luca Trevisan Award, and "Can AI do Theory?" workshop: June 22-27, 2026 in Salt Lake City, Utah, USA

Artur Czumaj via dmanet <[email protected]> Thu, 4 Jun 2026 08:25:14 +0100
Newsgroups gmane.science.mathematics.discrete
Message-ID <[email protected]>
Dear Colleagues,

The ACM STOC <https://acm-stoc.org/stoc2026/> will be held Salt Lake 
City, Utah, USA, June 22 - 27, 2026, as part of Theoryfest, with an 
expanded program of STOC papers, poster sessions, and a broad 
cross-section of invited talks, workshops, tutorials, and social events.

A special highlight this year is the Turing Award Lecture by Charles H. 
Bennett.

June 6 is the last day of early bird registration and to book a hotel 
room there at the block rate.
For the hotel, we would appreciate your booking directly through our 
website as we are responsible for using a certain number of rooms.

As well as 212 top papers in theoretical computer science, there will be:

Keynotes

* Yael Kalai, Massachusetts Institute of Technology
* Adam Klivans, UT Austin
* Jon Kleinberg, Cornell University

Workshops

* Machine Learning for Algorithms 
<https://www.mit.edu/~vakilian/stoc26-workshop.html>
* The Random Purification Channel in Quantum  Tomography 
<https://randompurification26.github.io/>
* The Role of Theory in Trustworthy and Interpretable AI 
<https://noahgol.github.io/stoc-trustworthy-ai/>
* Algorithmic Frontiers of Graph and Hypergraph Problems via Global 
Queries <https://sagnikm.github.io/workshop-stoc.html>
* Understanding Large Language Models via a TCS Lens 
<https://anaymehrotra.com/stoc-2026-understanding-llms/>
* Building New Algorithmic Foundations for Cryptography
* Testing in the Modern World 
<https://math.mit.edu/~shivamn/stoc26-testing.html>

The regular Theoryfest program is being expanded to include a special 
day-long workshop on Saturday June 27,
* "Can AI do Theory?" <https://pritishkamath.github.io/ai-tcs-stoc-2026/>
that will explore the intersection of artificial intelligence and 
theoretical computer science, inviting a community-wide dialogue on if 
and how AI can augment our current methodologies or redefine how we 
approach TCS research.

We are also thrilled to present the inaugural Luca Trevisan Award this year.

See you there,
Artur Czumaj
STOC 2026 PC chair

**********************************************************
*
*   Contributions to be spread via DMANET are submitted to
*
*                   [email protected]
*
*   Replies to a  message carried  on DMANET should NOT be
*   addressed to DMANET  but to  the original sender.  The
*   original  sender,  however,  is invited  to prepare an
*   update  of the replies  received and to communicate it
*   via DMANET.
*
*    DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
*      http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************