Accepted Papers – FOCS 2025
The list of accepted papers at #FOCS2025 is up!
focs.computer.org/2025/accepte...
13.07.2025 22:59 — 👍 35 🔁 15 💬 0 📌 0
Spread the word: there is a new prize in Theoretical Computer Science in honor of Luca Trevisan--
cs.unibocconi.eu/call-nominat...
(Intent-to-nominate letters due by July 31.)
09.06.2025 12:46 — 👍 46 🔁 18 💬 1 📌 1
2025/06/04: Irit Dinur, "Agreement Tests: Local Consistency, Global Structure"
2025/05/07: Palak Jain, "Enforcing Demographic Coherence: A Harms-Aware Framework for Reasoning about Private Data Release"
2025/04/23: Ryan Williams, "Simulating Time With Square-Root Space"
2025/04/09: Or Zamir, "Optimality of Frequency Moment Estimation"
2025/03/19: Tom Gur, "A Zero-Knowledge PCP Theorem"
2025/03/05: Prasanna Ramakrishnan, "How to Appease a Voter Majority"
And that's a wrap for this season of TCS+ 🎉! You can watch the recordings of the talks, and peruse the slides, on our website and YouTube channel:
🔗 sites.google.com/view/tcsplus...
📽️ www.youtube.com/@TCSplusSemi...
See you in a couple months... do suggest talks!
📋 sites.google.com/view/tcsplus...
08.06.2025 12:53 — 👍 10 🔁 5 💬 0 📌 0
2025/06/04: Irit Dinur, "Agreement Tests: Local Consistency, Global Structure"
2025/05/07: Palak Jain, "Enforcing Demographic Coherence: A Harms-Aware Framework for Reasoning about Private Data Release"
2025/04/23: Ryan Williams, "Simulating Time With Square-Root Space"
2025/04/09: Or Zamir, "Optimality of Frequency Moment Estimation"
2025/03/19: Tom Gur, "A Zero-Knowledge PCP Theorem"
2025/03/05: Prasanna Ramakrishnan, "How to Appease a Voter Majority"
And that's a wrap for this season of TCS+ 🎉! You can watch the recordings of the talks, and peruse the slides, on our website and YouTube channel:
🔗 sites.google.com/view/tcsplus...
📽️ www.youtube.com/@TCSplusSemi...
See you in a couple months... do suggest talks!
📋 sites.google.com/view/tcsplus...
08.06.2025 12:53 — 👍 10 🔁 5 💬 0 📌 0
The link for Irit's talk is now available on our website. See you tomorrow, 1pm ET! www.tcsplus.org/welcome/next...
03.06.2025 23:59 — 👍 2 🔁 2 💬 0 📌 0
The link for Irit's talk is now available on our website. See you tomorrow, 1pm ET! www.tcsplus.org/welcome/next...
03.06.2025 23:59 — 👍 2 🔁 2 💬 0 📌 0
It's time for the Theory Jobs spreadsheet for 2025! The theory CS community crowdsources who accepted which jobs every year.
Links in next post 1/2
03.06.2025 14:29 — 👍 30 🔁 12 💬 2 📌 0
Register to listen to Irit Dinur, trailblazer and theoretical computer scientist/mathematician extraordinaire, talk about "Agreement Tests: Local Consistency, Global Structure" — "how local views of a mathematical object can imply a global, coherent structure"!
docs.google.com/forms/d/e/1F...
02.06.2025 21:42 — 👍 7 🔁 1 💬 0 📌 0
This is Wednesday! Register to attend and hear Irit Dinur tell us about Agreement Tests!
docs.google.com/forms/d/e/1F...
02.06.2025 07:57 — 👍 0 🔁 1 💬 0 📌 0
We invite your proposals to organize a research program at the Simons Institute in 2026–27 and beyond. There's also a pre-proposal option, if you'd like to test the waters... Drop us a line! Submissions due June 30.
simons.berkeley.edu/how-submit-p...
15.05.2025 21:34 — 👍 10 🔁 3 💬 0 📌 0
This is Wednesday! Register to attend and hear Irit Dinur tell us about Agreement Tests!
docs.google.com/forms/d/e/1F...
02.06.2025 07:57 — 👍 0 🔁 1 💬 0 📌 0
TCS+ RSVP: Irit Dinur (2025/06/04)
Title: Agreement Tests: Local Consistency, Global Structure
📢 Our sixth and last TCS+ talk of the season will be Wednesday, June 4 (10amPT, 1pm ET, 19:00 CEST): Irit Dinur, from the IAS, will tell us about "Agreement Tests: Local Consistency, Global Structure"!
RSVP to receive the link (available one day prior to the talk):
forms.gle/GJt74TequURy... #TCSSky
28.05.2025 23:28 — 👍 3 🔁 4 💬 0 📌 3
2025 ACM-SIGACT Distinguished Service Award
Huge congratulations to Tracy Kimbrel, who received the 2025 ACM SIGACT Service Award 🏆 for his time, dedication, and advocacy as Program Director for the Algorithmic Foundations (AF) program at the NSF!
sigact.org/prizes/servi... #TCSSky
31.05.2025 03:08 — 👍 23 🔁 5 💬 1 📌 3
TCS+ RSVP: Irit Dinur (2025/06/04)
Title: Agreement Tests: Local Consistency, Global Structure
📢 Our sixth and last TCS+ talk of the season will be Wednesday, June 4 (10amPT, 1pm ET, 19:00 CEST): Irit Dinur, from the IAS, will tell us about "Agreement Tests: Local Consistency, Global Structure"!
RSVP to receive the link (available one day prior to the talk):
forms.gle/GJt74TequURy... #TCSSky
28.05.2025 23:28 — 👍 3 🔁 4 💬 0 📌 3
Teaser: our last TCS+ of the season will be next week, with Irit Dinur (IAS) on "Agreement Tests: Local Consistency, Global Structure." What a way to conclude the semester!
[More details coming soon to a BlueSky near you]
27.05.2025 21:43 — 👍 4 🔁 2 💬 0 📌 0
TCS+ - 2024-2025
2025/05/07: Palak Jain, "Enforcing Demographic Coherence: A Harms-Aware Framework for Reasoning about Private Data Release"
Palak Jain (Boston University)
The recording of this week's talk, by Palak Jain (@thepalakjain.bsky.social), is now available online as well along with the slides:
"Enforcing Demographic Coherence: A Harms-Aware Framework for Reasoning about Private Data Release"
www.tcsplus.org/welcome/past...
08.05.2025 11:02 — 👍 3 🔁 4 💬 0 📌 0
TCS+ - 2024-2025
2025/05/07: Palak Jain, "Enforcing Demographic Coherence: A Harms-Aware Framework for Reasoning about Private Data Release"
Palak Jain (Boston University)
The recording of this week's talk, by Palak Jain (@thepalakjain.bsky.social), is now available online as well along with the slides:
"Enforcing Demographic Coherence: A Harms-Aware Framework for Reasoning about Private Data Release"
www.tcsplus.org/welcome/past...
08.05.2025 11:02 — 👍 3 🔁 4 💬 0 📌 0
The link for Palak' talk (@thepalakjain.bsky.social) is now available on our website.
See you tomorrow, 1pm ET! www.tcsplus.org/welcome/next...
06.05.2025 12:05 — 👍 1 🔁 2 💬 0 📌 0
The link for Palak' talk (@thepalakjain.bsky.social) is now available on our website.
See you tomorrow, 1pm ET! www.tcsplus.org/welcome/next...
06.05.2025 12:05 — 👍 1 🔁 2 💬 0 📌 0
This is happening this week! Register to attend the talk at docs.google.com/forms/d/e/1F...
05.05.2025 13:25 — 👍 3 🔁 2 💬 0 📌 0
This is happening this week! Register to attend the talk at docs.google.com/forms/d/e/1F...
05.05.2025 13:25 — 👍 3 🔁 2 💬 0 📌 0
Another TCS+ talk to look forward to: next week, Palak Jain (@thepalakjain.bsky.social) on a new data #privacy framework they introduce!
📋 forms.gle/ateNLcRo59H1... #TCSSky
01.05.2025 21:24 — 👍 9 🔁 2 💬 0 📌 0
TCS+ RSVP: Palak Jain (2025/05/07)
Title: Enforcing Demographic Coherence: A Harms Aware Framework for Reasoning about Private Data Release
📢 Our fifth TCS+ talk will be Wednesday, May 7 (10amPT, 1pm ET, 19:00 CEST): Palak Jain (@thepalakjain.bsky.social) from Boston University, will tell us about "Enforcing Demographic Coherence"!
RSVP to receive the link (available one day prior to the talk):
forms.gle/MmBBWJizY9RJ... #TCSSky
01.05.2025 21:20 — 👍 4 🔁 1 💬 1 📌 3
TCS+ RSVP: Palak Jain (2025/05/07)
Title: Enforcing Demographic Coherence: A Harms Aware Framework for Reasoning about Private Data Release
📢 Our fifth TCS+ talk will be Wednesday, May 7 (10amPT, 1pm ET, 19:00 CEST): Palak Jain (@thepalakjain.bsky.social) from Boston University, will tell us about "Enforcing Demographic Coherence"!
RSVP to receive the link (available one day prior to the talk):
forms.gle/MmBBWJizY9RJ... #TCSSky
01.05.2025 21:20 — 👍 4 🔁 1 💬 1 📌 3
TCS+ - 2024-2025
2025/04/23: Ryan Williams, "Simulating Time With Square-Root Space"
Ryan Williams (MIT)
💡The first talks of the season are available!
- Prasanna Ramakrishnan, "How to Appease a Voter Majority"
- Or Zamir, "Optimality of Frequency Moment Estimation"
- Tom Gur, "A Zero-Knowledge PCP Theorem"
- Ryan Williams, "Simulating Time With Square-Root Space"
sites.google.com/view/tcsplus...
30.04.2025 04:43 — 👍 11 🔁 5 💬 1 📌 0
Ft. (For 2025, so far) @pras17.bsky.social, @tomgur.bsky.social, and @rrwilliams.bsky.social on BlueSky!
30.04.2025 04:56 — 👍 0 🔁 0 💬 1 📌 0
TCS+
Recordings and slides are available on our website. Alternatively, follow us on YouTube! www.youtube.com/@TCSplusSemi...
30.04.2025 04:44 — 👍 1 🔁 0 💬 1 📌 0
TCS+ - 2024-2025
2025/04/23: Ryan Williams, "Simulating Time With Square-Root Space"
Ryan Williams (MIT)
💡The first talks of the season are available!
- Prasanna Ramakrishnan, "How to Appease a Voter Majority"
- Or Zamir, "Optimality of Frequency Moment Estimation"
- Tom Gur, "A Zero-Knowledge PCP Theorem"
- Ryan Williams, "Simulating Time With Square-Root Space"
sites.google.com/view/tcsplus...
30.04.2025 04:43 — 👍 11 🔁 5 💬 1 📌 0
The link for Ryan Williams' talk (@rrwilliams.bsky.social) is now available on our website.
See you tomorrow, 1pm ET! www.tcsplus.org/welcome/next...
23.04.2025 00:24 — 👍 6 🔁 2 💬 0 📌 0
