Lightnews — Scholar-powered news

FOCS 2025 @focs2025.bsky.social · 8d

Attending #FOCS2025? If you need a visa, don't wait until the last minute! If necessary, information to request an invitation letter can be found here: focs.computer.org/2025/register/

Check 🇦🇺 average visa processing times: immi.homeaffairs.gov.au/visas/gettin...

Register – FOCS 2025

Reposted by FOCS 2025

FOCS 2025 @focs2025.bsky.social · 13d

Tip: if you plan on attending #FOCS2025*, don't wait until the last minute to book your accommodation! December is summer in Sydney, and hotels fill up quickly.

*We hope you do!

2 3

FOCS 2025 @focs2025.bsky.social · 13d

Tip: if you plan on attending #FOCS2025*, don't wait until the last minute to book your accommodation! December is summer in Sydney, and hotels fill up quickly.

*We hope you do!

2 3

Reposted by FOCS 2025

FOCS 2025 @focs2025.bsky.social · 19d

⏰ The 🧑‍🎓 travel support application and 👶 childcare support applications are both due in ~25h!

The former is open to all students and postdocs (not necessarily authors of a paper). The latter provides financial support (to be used in any childcare-related way) to conference attendees!

Links below↴

1 6 5

FOCS 2025 @focs2025.bsky.social · 19d

#FOCS2025 Student and Postdocs travel support application: focs.computer.org/2025/travel-...

Childcare support application: focs.computer.org/2025/childca...

Don't self-censor: if you think you need it, apply!

1

FOCS 2025 @focs2025.bsky.social · 19d

⏰ The 🧑‍🎓 travel support application and 👶 childcare support applications are both due in ~25h!

The former is open to all students and postdocs (not necessarily authors of a paper). The latter provides financial support (to be used in any childcare-related way) to conference attendees!

Links below↴

1 6 5

FOCS 2025 @focs2025.bsky.social · 20d

The workshops for #FOCS2025 have been announced! They will take place on the first day of the conference, December 14 (Sunday), over 3 parallel sessions.

Workshop Session A:
Breaking and Making Quantum Speedups
Organized by Siddhartha Jain, Seyoon Ragavan, Alexander Schmidhuber and Noah Shutty

Workshop Session B:
Approximate Nearest Neighbor Search: Bridging Theoretical
Foundations and Industrial Frontiers
Organized by Piotr Indyk, Rajesh Jayaram, and Ravi Krishnaswamy

Workshop Session C:
Morning: Space: Connecting Classical and Catalytic Approaches
Organized by Ian Mertz and Ted Pyne
Afternoon: The Localization Method for High-dimensional Inequalities
Organized by Santosh S. Vempala

2 4

Reposted by FOCS 2025

Clément Canonne @ccanonne.github.io · 25d

Only one week left to apply for travel support to attend #FOCS2025! Students and postdocs from all countries, there is funding to help, so don't self-censor—apply!

bsky.app/profile/focs...

🔗 focs.computer.org/2025/travel-...

FOCS 2025 @focs2025.bsky.social · Jul 22

The travel support applications for #FOCS2025 are now open! Thanks to our generous sponsors, we are able to provide registration waivers and travel support for students and postdocs.

Deadline: ⏰ Sep 19th (11:59pm AoE)
🔗 focs.computer.org/2025/travel-...

Want to attend? Don't self-censor: apply!

Childcare Support – FOCS 2025

3 4

Reposted by FOCS 2025

Clément Canonne @ccanonne.github.io · 25d

Reminder: #FOCS2025 will provide financial support (and possibly help with logistics) for attendees who need childcare options during the conference. Apply by Sep 19th!
bsky.app/profile/focs...

🔗 focs.computer.org/2025/childca...

FOCS 2025 @focs2025.bsky.social · Aug 11

To reduce barriers to attendance, #FOCS2025 will try to facilitate childcare for attendees during the conference.

Information, how to register your interest, and how to apply for financial support: focs.computer.org/2025/childca...

Deadline (for the latter): ⏰ September 19th (AoE)

FOCS 2025 Satellite Event: Celebration of TCS

1 1

Reposted by FOCS 2025

Clément Canonne @ccanonne.github.io · Aug 28

Attending #FOCS2025 and keen to stay a bit longer? Australian researcher or student, interested in Theoretical CS?

We're organizing a "Celebration of TCS" research and mentorship event at 🇦🇺 #USyd, on Dec 11–13. It's free, it's exciting, register and spread the word!
sites.google.com/view/celebra...

sites.google.com

1 3 11

Reposted by FOCS 2025

FOCS 2025 @focs2025.bsky.social · Sep 7

Teaser: #FOCS2025 will include a banquet dinner on Tuesday, December 16. Based on the view from the place, can you guess where?

1 3 4

FOCS 2025 @focs2025.bsky.social · Sep 7

No, but that* is very close!

*the Quay Restaurant, we assume?

FOCS 2025 @focs2025.bsky.social · Sep 7

Teaser: #FOCS2025 will include a banquet dinner on Tuesday, December 16. Based on the view from the place, can you guess where?

1 3 4

Reposted by FOCS 2025

FOCS 2025 @focs2025.bsky.social · Aug 26

Nominate researchers for the FOCS 2025 Test of Time awards! These awards "recognizes papers published in past FOCS for their substantial, lasting, broad, and currently relevant impact," and will be presented at #FOCS2025.

Nominations deadline: ⏰ Sep 15
Guidelines: tc.computer.org/tcmf/2025/08...

FOCS Test of Time Award - Call for Nominations 2025 - IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

FOCS 2025 Test of Time Awards Call for Nominations The 2025 FOCS Test of Time Awards, awarded annually, recognize papers published in the Proceedings of the Annual IEEE Symposium on Foundations of...

tc.computer.org

4 7

FOCS 2025 @focs2025.bsky.social · Aug 26

Nominate researchers for the FOCS 2025 Test of Time awards! These awards "recognizes papers published in past FOCS for their substantial, lasting, broad, and currently relevant impact," and will be presented at #FOCS2025.

Nominations deadline: ⏰ Sep 15
Guidelines: tc.computer.org/tcmf/2025/08...

FOCS Test of Time Award - Call for Nominations 2025 - IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

FOCS 2025 Test of Time Awards Call for Nominations The 2025 FOCS Test of Time Awards, awarded annually, recognize papers published in the Proceedings of the Annual IEEE Symposium on Foundations of...

tc.computer.org

4 7

Reposted by FOCS 2025

Clément Canonne @ccanonne.github.io · Aug 26

Me, setting up a Zulip discussion channel for the conference I am organizing in December, making sure to focus on the most important aspects:

Message from Clément Canonne:
"In very important news, we have a wombat emoji. :wombat:"

2 1 20

Reposted by FOCS 2025

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

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 FOCS 2025

FOCS 2025 @focs2025.bsky.social · Aug 11

And a reminder about the student and postdoc travel support (same deadline): focs.computer.org/2025/travel-...

FOCS 2025 @focs2025.bsky.social · Aug 11

And a reminder about the student and postdoc travel support (same deadline): focs.computer.org/2025/travel-...

Childcare Support – FOCS 2025

Reposted by FOCS 2025

FOCS 2025 @focs2025.bsky.social · Aug 11

To reduce barriers to attendance, #FOCS2025 will try to facilitate childcare for attendees during the conference.

Information, how to register your interest, and how to apply for financial support: focs.computer.org/2025/childca...

Deadline (for the latter): ⏰ September 19th (AoE)

Childcare Support – FOCS 2025

1 9 16

FOCS 2025 @focs2025.bsky.social · Aug 11

To reduce barriers to attendance, #FOCS2025 will try to facilitate childcare for attendees during the conference.

Information, how to register your interest, and how to apply for financial support: focs.computer.org/2025/childca...

Deadline (for the latter): ⏰ September 19th (AoE)