Lightnews — Scholar-powered news

Reposted by TCS+

Simons Institute for the Theory of Computing @simonsinstitute.bsky.social · 2d

Congratulations to Thomas Rothvoss and Lang Liu, the inaugural winners of the Trevisan Prize at Bocconi University.

cs.unibocconi.eu/trevisan-pri...

Trevisan Prize 2025 – Winners

cs.unibocconi.eu

1 7 21

TCS+ @tcsplus.bsky.social · 1d

The link for Janani's talk is now available on our website. See you tomorrow, 1pm ET! www.tcsplus.org/welcome/next...

1

Reposted by TCS+

Simons Institute for the Theory of Computing @simonsinstitute.bsky.social · 6d

Applications are open for research fellows and senior visitors for the Fall 2026 programs on Spectral Theory Beyond Graphs, and on Pseudorandomness and High-Dimensional Expansion.

simons.berkeley.edu/research-fel...

simons.berkeley.edu/long-term-vi...

4 10

Reposted by TCS+

TCS+ @tcsplus.bsky.social · 6d

Reminder: Janani's talk is next Wednesday!

docs.google.com/forms/d/e/1F...

1 2

TCS+ @tcsplus.bsky.social · 6d

Reminder: Janani's talk is next Wednesday!

docs.google.com/forms/d/e/1F...

1 2

Reposted by TCS+

TCS+ @tcsplus.bsky.social · 11d

More details (including abstract): tcsplus.wordpress.com/2025/09/27/t...

TCS+ talk: Wednesday, October 8 — Janani Sundaresan, University of Waterloo

We’re back! The very first TCS+ talk of the season will take place on Wednesday, October 8th at 1:00 PM Eastern Time (10:00 AM Pacific Time, 19:00 Central European Time, 17:00 UTC). Janani Su…

tcsplus.wordpress.com

2 2

Reposted by TCS+

TCS+ @tcsplus.bsky.social · 11d

📢 Our first TCS+ talk of the season will be Wednesday, Oct 8 (10amPT, 1pm ET, 19:00 CEST): Janani Sundaresan, from U Waterloo, will tell us how "Distributed Triangle Detection is Hard in Few Rounds"!

RSVP to receive the link (available one day prior to the talk): forms.gle/sHdV8uoKYVpq... #TCSSky

TCS+ RSVP: Janani Sundaresan (2025/10/08)

Title: Distributed Triangle Detection is Hard in Few Rounds

forms.gle

1 5 6

TCS+ @tcsplus.bsky.social · 11d

More details (including abstract): tcsplus.wordpress.com/2025/09/27/t...

TCS+ talk: Wednesday, October 8 — Janani Sundaresan, University of Waterloo

We’re back! The very first TCS+ talk of the season will take place on Wednesday, October 8th at 1:00 PM Eastern Time (10:00 AM Pacific Time, 19:00 Central European Time, 17:00 UTC). Janani Su…

tcsplus.wordpress.com

2 2

TCS+ @tcsplus.bsky.social · 11d

📢 Our first TCS+ talk of the season will be Wednesday, Oct 8 (10amPT, 1pm ET, 19:00 CEST): Janani Sundaresan, from U Waterloo, will tell us how "Distributed Triangle Detection is Hard in Few Rounds"!

RSVP to receive the link (available one day prior to the talk): forms.gle/sHdV8uoKYVpq... #TCSSky

TCS+ RSVP: Janani Sundaresan (2025/10/08)

Title: Distributed Triangle Detection is Hard in Few Rounds

forms.gle

1 5 6

TCS+ @tcsplus.bsky.social · 11d

As* foretold

TCS+ @tcsplus.bsky.social · 12d

And as a teaser, here are the first 3 talks of the season! #TCSSky
- Janani Sundaresan, on her #FOCS2025 result showing hardness of distributed triangle detection
- Ian Mertz, with a survey talk on catalytic computing
- Aparna Gupte, on her #STOC2025 result on quantum one-time programs

- 8 Oct, Wed, 1pm
TCS+ Talk: Janani Sundaresan (U Waterloo)
- 22 Oct, Wed, 1pm
TCS+ Talk: Ian Mertz (Charles University)
- 5 Nov, Wed, 1pm
TCS+ Talk: Aparna Gupte (MIT)

(Times are Eastern time)

4

TCS+ @tcsplus.bsky.social · 12d

A foretold, the new season of TCS+ is coming! If you cannot wait for the official announcement,* you can already sign up to attend the first talk on October 8, by Janani Sundaresan, from U Waterloo (@uwcheritoncs.bsky.social)!

www.tcsplus.org/welcome/next...

* Soon on an Internet near you!

TCS+ - Next TCS+ talk

Our first TCS+ talk of the season will take place on October 8 (10:00am Pacific Time, 1:00 pm Eastern Time, 19:00 Central European Summer Time, 17:00 UTC — check yours here). Janani Sundaresan, from t...

www.tcsplus.org

2 2 12

Reposted by TCS+

TCS+ @tcsplus.bsky.social · Sep 8

With September (already!) underway, the next season of TCS+ will start soon. As we are planning for it, a reminder that you can—and are encouraged to!—submit suggestions for talks and speakers on our website: sites.google.com/view/tcsplus...

TCS+ - Suggest a talk

Suggest a talk

sites.google.com

7 4

TCS+ @tcsplus.bsky.social · Sep 8

With September (already!) underway, the next season of TCS+ will start soon. As we are planning for it, a reminder that you can—and are encouraged to!—submit suggestions for talks and speakers on our website: sites.google.com/view/tcsplus...

TCS+ - Suggest a talk

Suggest a talk

sites.google.com

7 4

Reposted by TCS+

FOCS 2025 @focs2025.bsky.social · Aug 23

Reminder: submit a workshop proposal for #FOCS2025 by ⏰ September 5!

"Workshops often serve the vital purpose of introducing researchers to new areas and agendas. We also encourage workshops focusing on connections between TCS and other areas." #TCSSky

Details: focs.computer.org/2025/call-fo...

3 4

Reposted by TCS+

FOCS 2025 @focs2025.bsky.social · Jul 13

The list of accepted papers at #FOCS2025 is up!

focs.computer.org/2025/accepte...

Accepted Papers – FOCS 2025

focs.computer.org

15 37

Reposted by TCS+

Ryan O'Donnell @booleananalysis.bsky.social · Jun 9

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.)

cs.unibocconi.eu

1 18 46

Reposted by TCS+

TCS+ @tcsplus.bsky.social · Jun 8

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...

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"

5 10

TCS+ @tcsplus.bsky.social · Jun 8

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...

5 10

Reposted by TCS+

TCS+ @tcsplus.bsky.social · Jun 3

The link for Irit's talk is now available on our website. See you tomorrow, 1pm ET! www.tcsplus.org/welcome/next...

2 2

TCS+ @tcsplus.bsky.social · Jun 3

The link for Irit's talk is now available on our website. See you tomorrow, 1pm ET! www.tcsplus.org/welcome/next...

2 2

Reposted by TCS+

Gautam Kamath @gautamkamath.com · Jun 3

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

2 12 30

Reposted by TCS+

Clément Canonne @ccanonne.github.io · Jun 2

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...

TCS+ @tcsplus.bsky.social · May 28

📢 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

TCS+ RSVP: Irit Dinur (2025/06/04)

Title: Agreement Tests: Local Consistency, Global Structure

forms.gle

1 7

Reposted by TCS+

TCS+ @tcsplus.bsky.social · Jun 2

This is Wednesday! Register to attend and hear Irit Dinur tell us about Agreement Tests!

docs.google.com/forms/d/e/1F...

1

Reposted by TCS+

Simons Institute for the Theory of Computing @simonsinstitute.bsky.social · May 15

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...

3 9