FOCS 2025
@focs2025.bsky.social
Official account for the 2025 IEEE Symposium on Foundations of Computer Science (FOCS), to be held in Sydney, Australia, Dec 14-17, 2025.
🔗 https://focs.computer.org/2025/
🔗 https://focs.computer.org/2025/
Pinned
FOCS 2025
@focs2025.bsky.social
· Nov 17
Hello, TCS world! This is the official account for the Symposium on Foundations of Computer Science (FOCS'25). Watch this space for updates and announcements about the conference!
And... that's a wrap for #FOCS2025! Thanks to authors, attendees, program committee members, and sponsors who all made it happen!
(Also, the occasional bin chicken)
(Also, the occasional bin chicken)
December 17, 2025 at 6:55 AM
And... that's a wrap for #FOCS2025! Thanks to authors, attendees, program committee members, and sponsors who all made it happen!
(Also, the occasional bin chicken)
(Also, the occasional bin chicken)
Best #FOCS2025 Paper talks: Rachel Yun Zhang (left), Michael Jaber (middle), and Mohammad T. Hajiaghayi (right)
en.wikipedia.org/wiki/Machtey...
en.wikipedia.org/wiki/Machtey...
December 17, 2025 at 6:28 AM
Best #FOCS2025 Paper talks: Rachel Yun Zhang (left), Michael Jaber (middle), and Mohammad T. Hajiaghayi (right)
en.wikipedia.org/wiki/Machtey...
en.wikipedia.org/wiki/Machtey...
Best #FOCS2025 Student Paper (Machtey award) talks: Rahul Ilango (left) and Miryam Mi-Ying Huang and Er-Cheng Tang
en.wikipedia.org/wiki/Machtey...
en.wikipedia.org/wiki/Machtey...
December 17, 2025 at 4:36 AM
Best #FOCS2025 Student Paper (Machtey award) talks: Rahul Ilango (left) and Miryam Mi-Ying Huang and Er-Cheng Tang
en.wikipedia.org/wiki/Machtey...
en.wikipedia.org/wiki/Machtey...
Ready for the conference banquet!
December 16, 2025 at 6:52 AM
Ready for the conference banquet!
Reposted by FOCS 2025
The info and slides of the 18 🎓 "Graduating Bits" participants are now available on the website!
Look at them, hire them!
focs.computer.org/2025/graduat...
Look at them, hire them!
focs.computer.org/2025/graduat...
Graduating Bits – FOCS 2025
focs.computer.org
December 16, 2025 at 4:07 AM
The info and slides of the 18 🎓 "Graduating Bits" participants are now available on the website!
Look at them, hire them!
focs.computer.org/2025/graduat...
Look at them, hire them!
focs.computer.org/2025/graduat...
The info and slides of the 18 🎓 "Graduating Bits" participants are now available on the website!
Look at them, hire them!
focs.computer.org/2025/graduat...
Look at them, hire them!
focs.computer.org/2025/graduat...
Graduating Bits – FOCS 2025
focs.computer.org
December 16, 2025 at 4:07 AM
The info and slides of the 18 🎓 "Graduating Bits" participants are now available on the website!
Look at them, hire them!
focs.computer.org/2025/graduat...
Look at them, hire them!
focs.computer.org/2025/graduat...
Reposted by FOCS 2025
📢 #FOCS2026 will be held in NewYork City, USA!
Nov 8–11, 2026 at NYU (colocated with TCC)
General Chair: Marshall Ball
PC Chair: Sanjeev Khanna (Co-Chair: Sepehr Assadi)
Nov 8–11, 2026 at NYU (colocated with TCC)
General Chair: Marshall Ball
PC Chair: Sanjeev Khanna (Co-Chair: Sepehr Assadi)
December 15, 2025 at 7:43 AM
📢 #FOCS2026 will be held in NewYork City, USA!
Nov 8–11, 2026 at NYU (colocated with TCC)
General Chair: Marshall Ball
PC Chair: Sanjeev Khanna (Co-Chair: Sepehr Assadi)
Nov 8–11, 2026 at NYU (colocated with TCC)
General Chair: Marshall Ball
PC Chair: Sanjeev Khanna (Co-Chair: Sepehr Assadi)
Winners of the #FOCS2025 Cartoon Caption Contest:
- "This guy is about to blow up the polynomial hierarchy." [ Rachel Zhang ]
- "Not exactly what I meant by 'increase FOCS acceptance rate.'" [ @mahdi.ch ]
- "This guy is about to blow up the polynomial hierarchy." [ Rachel Zhang ]
- "Not exactly what I meant by 'increase FOCS acceptance rate.'" [ @mahdi.ch ]
The conference is starting in a few hours! We'll post here information about #FOCS2025 as it goes, including the blog posts attendees write about the talks and events.
And the "cartoon caption contest" (courtesy of Mary Wootters) has started, along with the offline scavenger hunt! Here's a teaser:
And the "cartoon caption contest" (courtesy of Mary Wootters) has started, along with the offline scavenger hunt! Here's a teaser:
December 15, 2025 at 10:35 AM
Reposted by FOCS 2025
🏆 #FOCS2025 Best Paper Awards (3 papers!)
Explicit Lossless Vertex Expanders
Jun-Ting Hsieh, Alexander Lubotzky, Sidhanth Mohanty, Assaf Reiner, Rachel Yun Zhang
Explicit Lossless Vertex Expanders
Jun-Ting Hsieh, Alexander Lubotzky, Sidhanth Mohanty, Assaf Reiner, Rachel Yun Zhang
December 15, 2025 at 7:52 AM
🏆 #FOCS2025 Best Paper Awards (3 papers!)
Explicit Lossless Vertex Expanders
Jun-Ting Hsieh, Alexander Lubotzky, Sidhanth Mohanty, Assaf Reiner, Rachel Yun Zhang
Explicit Lossless Vertex Expanders
Jun-Ting Hsieh, Alexander Lubotzky, Sidhanth Mohanty, Assaf Reiner, Rachel Yun Zhang
🏆 #FOCS2025 Best Student Paper Awards 🎓
Godel in Cryptography: Effectively Zero Knowledge Proofs for NP with No Interaction, No Setup, and Perfect Soundness
Rahul Ilango
Obfuscation of Unitary Quantum Programs
Mi-Ying Huang, Er-Cheng Tang
Godel in Cryptography: Effectively Zero Knowledge Proofs for NP with No Interaction, No Setup, and Perfect Soundness
Rahul Ilango
Obfuscation of Unitary Quantum Programs
Mi-Ying Huang, Er-Cheng Tang
December 15, 2025 at 7:51 AM
🏆 #FOCS2025 Best Student Paper Awards 🎓
Godel in Cryptography: Effectively Zero Knowledge Proofs for NP with No Interaction, No Setup, and Perfect Soundness
Rahul Ilango
Obfuscation of Unitary Quantum Programs
Mi-Ying Huang, Er-Cheng Tang
Godel in Cryptography: Effectively Zero Knowledge Proofs for NP with No Interaction, No Setup, and Perfect Soundness
Rahul Ilango
Obfuscation of Unitary Quantum Programs
Mi-Ying Huang, Er-Cheng Tang
🏆 FOCS 2025 Test of Time awards:
Private Information Retrieval
Benny Chor, Eyal Kushilevitz, Oded Goldreich, Madhu Sudan
36th FOCS, 1995
Gambling in a rigged casino: The adversarial multi-armed bandit
Paul Auer, Nicoló Cesa-Bianchi Yoav Freund, Robert Schapire
36th FOCS, 1995
Private Information Retrieval
Benny Chor, Eyal Kushilevitz, Oded Goldreich, Madhu Sudan
36th FOCS, 1995
Gambling in a rigged casino: The adversarial multi-armed bandit
Paul Auer, Nicoló Cesa-Bianchi Yoav Freund, Robert Schapire
36th FOCS, 1995
December 15, 2025 at 7:48 AM
🏆 FOCS 2025 Test of Time awards:
Private Information Retrieval
Benny Chor, Eyal Kushilevitz, Oded Goldreich, Madhu Sudan
36th FOCS, 1995
Gambling in a rigged casino: The adversarial multi-armed bandit
Paul Auer, Nicoló Cesa-Bianchi Yoav Freund, Robert Schapire
36th FOCS, 1995
Private Information Retrieval
Benny Chor, Eyal Kushilevitz, Oded Goldreich, Madhu Sudan
36th FOCS, 1995
Gambling in a rigged casino: The adversarial multi-armed bandit
Paul Auer, Nicoló Cesa-Bianchi Yoav Freund, Robert Schapire
36th FOCS, 1995
📢 #FOCS2026 will be held in NewYork City, USA!
Nov 8–11, 2026 at NYU (colocated with TCC)
General Chair: Marshall Ball
PC Chair: Sanjeev Khanna (Co-Chair: Sepehr Assadi)
Nov 8–11, 2026 at NYU (colocated with TCC)
General Chair: Marshall Ball
PC Chair: Sanjeev Khanna (Co-Chair: Sepehr Assadi)
December 15, 2025 at 7:43 AM
📢 #FOCS2026 will be held in NewYork City, USA!
Nov 8–11, 2026 at NYU (colocated with TCC)
General Chair: Marshall Ball
PC Chair: Sanjeev Khanna (Co-Chair: Sepehr Assadi)
Nov 8–11, 2026 at NYU (colocated with TCC)
General Chair: Marshall Ball
PC Chair: Sanjeev Khanna (Co-Chair: Sepehr Assadi)
First plenary session of the conference: Shafi Goldwasser (MIT and Berkeley) on "A Crypto/Complexity Theorist Perspective on Trusting AI" #FOCS2025
December 15, 2025 at 2:39 AM
First plenary session of the conference: Shafi Goldwasser (MIT and Berkeley) on "A Crypto/Complexity Theorist Perspective on Trusting AI" #FOCS2025
The conference is starting in a few hours! We'll post here information about #FOCS2025 as it goes, including the blog posts attendees write about the talks and events.
And the "cartoon caption contest" (courtesy of Mary Wootters) has started, along with the offline scavenger hunt! Here's a teaser:
And the "cartoon caption contest" (courtesy of Mary Wootters) has started, along with the offline scavenger hunt! Here's a teaser:
December 13, 2025 at 7:35 PM
The conference is starting in a few hours! We'll post here information about #FOCS2025 as it goes, including the blog posts attendees write about the talks and events.
And the "cartoon caption contest" (courtesy of Mary Wootters) has started, along with the offline scavenger hunt! Here's a teaser:
And the "cartoon caption contest" (courtesy of Mary Wootters) has started, along with the offline scavenger hunt! Here's a teaser:
Reposted by FOCS 2025
The pre-recorded videos (for the talks whose authors opted in to submit one) are now available on our YouTube channel: m.youtube.com/@FOCS2025
They're also linked from the main website's schedule!
They're also linked from the main website's schedule!
FOCS 2025
Videos from the 66th IEEE Symposium on Foundations of Computer Science (FOCS) 2025
m.youtube.com
December 9, 2025 at 4:40 AM
The pre-recorded videos (for the talks whose authors opted in to submit one) are now available on our YouTube channel: m.youtube.com/@FOCS2025
They're also linked from the main website's schedule!
They're also linked from the main website's schedule!
The pre-recorded videos (for the talks whose authors opted in to submit one) are now available on our YouTube channel: m.youtube.com/@FOCS2025
They're also linked from the main website's schedule!
They're also linked from the main website's schedule!
FOCS 2025
Videos from the 66th IEEE Symposium on Foundations of Computer Science (FOCS) 2025
m.youtube.com
December 9, 2025 at 4:40 AM
The pre-recorded videos (for the talks whose authors opted in to submit one) are now available on our YouTube channel: m.youtube.com/@FOCS2025
They're also linked from the main website's schedule!
They're also linked from the main website's schedule!
Only seven days to go: see you next week for #FOCS2025 in Sydney!
If you have any questions about travel, Sydney, or Australia, check out our FAQ: focs.computer.org/2025/travel-...
www.timeanddate.com/countdown/su...
If you have any questions about travel, Sydney, or Australia, check out our FAQ: focs.computer.org/2025/travel-...
www.timeanddate.com/countdown/su...
Countdown to Summer
Countdown to Dec 14, 2025. Showing days, hours, minutes and seconds ticking down to 0
www.timeanddate.com
December 6, 2025 at 7:48 PM
Only seven days to go: see you next week for #FOCS2025 in Sydney!
If you have any questions about travel, Sydney, or Australia, check out our FAQ: focs.computer.org/2025/travel-...
www.timeanddate.com/countdown/su...
If you have any questions about travel, Sydney, or Australia, check out our FAQ: focs.computer.org/2025/travel-...
www.timeanddate.com/countdown/su...
Reposted by FOCS 2025
We have compiled a helpful list of Frequently Asked Questions, to help with planning your trip to #FOCS2025: focs.computer.org/2025/travel-...
Including (among more useful info) important questions, such as "Where can I pet a koala?", "How do I eat Vegemite?" and, of course, "Where is the beach?"
Including (among more useful info) important questions, such as "Where can I pet a koala?", "How do I eat Vegemite?" and, of course, "Where is the beach?"
Travel, Food & Activities – FOCS 2025
focs.computer.org
December 5, 2025 at 5:32 AM
We have compiled a helpful list of Frequently Asked Questions, to help with planning your trip to #FOCS2025: focs.computer.org/2025/travel-...
Including (among more useful info) important questions, such as "Where can I pet a koala?", "How do I eat Vegemite?" and, of course, "Where is the beach?"
Including (among more useful info) important questions, such as "Where can I pet a koala?", "How do I eat Vegemite?" and, of course, "Where is the beach?"
We have compiled a helpful list of Frequently Asked Questions, to help with planning your trip to #FOCS2025: focs.computer.org/2025/travel-...
Including (among more useful info) important questions, such as "Where can I pet a koala?", "How do I eat Vegemite?" and, of course, "Where is the beach?"
Including (among more useful info) important questions, such as "Where can I pet a koala?", "How do I eat Vegemite?" and, of course, "Where is the beach?"
Travel, Food & Activities – FOCS 2025
focs.computer.org
December 5, 2025 at 5:32 AM
We have compiled a helpful list of Frequently Asked Questions, to help with planning your trip to #FOCS2025: focs.computer.org/2025/travel-...
Including (among more useful info) important questions, such as "Where can I pet a koala?", "How do I eat Vegemite?" and, of course, "Where is the beach?"
Including (among more useful info) important questions, such as "Where can I pet a koala?", "How do I eat Vegemite?" and, of course, "Where is the beach?"
Reposted by FOCS 2025
A mobile-friendly and easier to use version of the #FOCS2025 is now available: focs2025schedule.ag-pages.workers.dev (h/t @abigailgentle.com)
FOCS 2025 Schedule
Interactive schedule for the 66th IEEE Symposium on Foundations of Computer Science (FOCS 2025)
focs2025schedule.ag-pages.workers.dev
December 3, 2025 at 3:49 AM
A mobile-friendly and easier to use version of the #FOCS2025 is now available: focs2025schedule.ag-pages.workers.dev (h/t @abigailgentle.com)