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!
If your institution wants to advertise Theory jobs to the FOCS 2025 attendees, a form has been set up on our website: focs.computer.org/2025/activit...
The spreadsheet collating job openings in TCS will be made available to attendees (and online), to help graduating students and junior researchers.
The spreadsheet collating job openings in TCS will be made available to attendees (and online), to help graduating students and junior researchers.
FOCS 2025: Job openings for postdocs and researchers
Please provide details about any theory job openings in your group (e.g., postdoc openings, research-related jobs or academic positions). This information will be made available as a Google Spreadshee...
docs.google.com
November 11, 2025 at 12:11 PM
If your institution wants to advertise Theory jobs to the FOCS 2025 attendees, a form has been set up on our website: focs.computer.org/2025/activit...
The spreadsheet collating job openings in TCS will be made available to attendees (and online), to help graduating students and junior researchers.
The spreadsheet collating job openings in TCS will be made available to attendees (and online), to help graduating students and junior researchers.
Update: We have decided not to provide Vegemite jars in the #FOCS2025 swag bag, on the grounds that this may be prohibited under the 1993 Chemical Weapons Convention.
You will, however, get tim-tams.
You will, however, get tim-tams.
November 8, 2025 at 10:43 PM
Update: We have decided not to provide Vegemite jars in the #FOCS2025 swag bag, on the grounds that this may be prohibited under the 1993 Chemical Weapons Convention.
You will, however, get tim-tams.
You will, however, get tim-tams.
We're still finalizing the conference program, so stay tuned! As a teaser: we heard jetlag is a thing, and mornings are hard—especially after Sunday's workshops and welcome reception.
To help with that, Monday morning will feature barista coffee: begin the week with a flat white! ☕
To help with that, Monday morning will feature barista coffee: begin the week with a flat white! ☕
November 5, 2025 at 7:34 AM
We're still finalizing the conference program, so stay tuned! As a teaser: we heard jetlag is a thing, and mornings are hard—especially after Sunday's workshops and welcome reception.
To help with that, Monday morning will feature barista coffee: begin the week with a flat white! ☕
To help with that, Monday morning will feature barista coffee: begin the week with a flat white! ☕
Reposted by FOCS 2025
The early registration deadline is November 21, 2025 (but don't wait until the last minute to book your hotel! December in Sydney is peak season, and while there are many hotels in the area, they tend to get booked quickly as summer nears!)
October 27, 2025 at 11:12 PM
The early registration deadline is November 21, 2025 (but don't wait until the last minute to book your hotel! December in Sydney is peak season, and while there are many hotels in the area, they tend to get booked quickly as summer nears!)
Update: 127 registered attendees so far!
October 27, 2025 at 11:07 PM
Update: 127 registered attendees so far!
Reposted by FOCS 2025
Coming to #FOCS2025 in Australia? Don't miss out on the satellite events!
Just before: "A Celebration of TCS" (sites.google.com/view/celebra...) (Dec 11-13)
Just after: "Trends in Approximation and Online Algorithms" sites.google.com/view/tao25wo... (Dec 18-19)
Both free, held at #USyd!
Just before: "A Celebration of TCS" (sites.google.com/view/celebra...) (Dec 11-13)
Just after: "Trends in Approximation and Online Algorithms" sites.google.com/view/tao25wo... (Dec 18-19)
Both free, held at #USyd!
FOCS 2025 Satellite Event: Trends in Approximation and Online Algorithms
sites.google.com
October 23, 2025 at 8:57 PM
Coming to #FOCS2025 in Australia? Don't miss out on the satellite events!
Just before: "A Celebration of TCS" (sites.google.com/view/celebra...) (Dec 11-13)
Just after: "Trends in Approximation and Online Algorithms" sites.google.com/view/tao25wo... (Dec 18-19)
Both free, held at #USyd!
Just before: "A Celebration of TCS" (sites.google.com/view/celebra...) (Dec 11-13)
Just after: "Trends in Approximation and Online Algorithms" sites.google.com/view/tao25wo... (Dec 18-19)
Both free, held at #USyd!
Coming to #FOCS2025 in Australia? Don't miss out on the satellite events!
Just before: "A Celebration of TCS" (sites.google.com/view/celebra...) (Dec 11-13)
Just after: "Trends in Approximation and Online Algorithms" sites.google.com/view/tao25wo... (Dec 18-19)
Both free, held at #USyd!
Just before: "A Celebration of TCS" (sites.google.com/view/celebra...) (Dec 11-13)
Just after: "Trends in Approximation and Online Algorithms" sites.google.com/view/tao25wo... (Dec 18-19)
Both free, held at #USyd!
FOCS 2025 Satellite Event: Trends in Approximation and Online Algorithms
sites.google.com
October 23, 2025 at 8:57 PM
Coming to #FOCS2025 in Australia? Don't miss out on the satellite events!
Just before: "A Celebration of TCS" (sites.google.com/view/celebra...) (Dec 11-13)
Just after: "Trends in Approximation and Online Algorithms" sites.google.com/view/tao25wo... (Dec 18-19)
Both free, held at #USyd!
Just before: "A Celebration of TCS" (sites.google.com/view/celebra...) (Dec 11-13)
Just after: "Trends in Approximation and Online Algorithms" sites.google.com/view/tao25wo... (Dec 18-19)
Both free, held at #USyd!
Reposted by FOCS 2025
Your countdown to #FOCS2025! Yes, we're excited for it. What gave it away?
www.timeanddate.com/countdown/su...
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
October 17, 2025 at 9:02 PM
Your countdown to #FOCS2025! Yes, we're excited for it. What gave it away?
www.timeanddate.com/countdown/su...
www.timeanddate.com/countdown/su...
Reposted by FOCS 2025
Dec 11-13 at #USyd, just before #FOCS2025: "A Celebration of Theoretical Computer Science": now with a poster!
Info and (free) registration: sites.google.com/view/celebra... #TCSSky
Info and (free) registration: sites.google.com/view/celebra... #TCSSky
October 20, 2025 at 3:29 AM
Dec 11-13 at #USyd, just before #FOCS2025: "A Celebration of Theoretical Computer Science": now with a poster!
Info and (free) registration: sites.google.com/view/celebra... #TCSSky
Info and (free) registration: sites.google.com/view/celebra... #TCSSky
Your countdown to #FOCS2025! Yes, we're excited for it. What gave it away?
www.timeanddate.com/countdown/su...
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
October 17, 2025 at 9:02 PM
Your countdown to #FOCS2025! Yes, we're excited for it. What gave it away?
www.timeanddate.com/countdown/su...
www.timeanddate.com/countdown/su...
1 month, 28 days, 12 hours, 49 minutes and 3 seconds until FOCS!
October 15, 2025 at 12:20 AM
1 month, 28 days, 12 hours, 49 minutes and 3 seconds until FOCS!
Reposted by FOCS 2025
Attending #FOCS2025, or Theoretical CS (or adjacent) student in Australasia 🌏? On Dec 11-13, at #USyd, we will have a "Celebration of Theoretical CS" mentoring+research workshop. Amazing speakers, poster session, hike!
Free to attend (but registration is necessary): sites.google.com/view/celebra...
Free to attend (but registration is necessary): sites.google.com/view/celebra...
FOCS 2025 Satellite Event: Celebration of TCS
sites.google.com
October 12, 2025 at 3:09 AM
Attending #FOCS2025, or Theoretical CS (or adjacent) student in Australasia 🌏? On Dec 11-13, at #USyd, we will have a "Celebration of Theoretical CS" mentoring+research workshop. Amazing speakers, poster session, hike!
Free to attend (but registration is necessary): sites.google.com/view/celebra...
Free to attend (but registration is necessary): sites.google.com/view/celebra...
Reposted by FOCS 2025
Update: we extended the deadline, and childcare support for #FOCS2025 will be allocated on a rolling basis to attendees who need it (based on available remaining funds).
We're keeping the process as light as possible: focs.computer.org/2025/childca...
We're keeping the process as light as possible: focs.computer.org/2025/childca...
October 7, 2025 at 5:13 AM
Update: we extended the deadline, and childcare support for #FOCS2025 will be allocated on a rolling basis to attendees who need it (based on available remaining funds).
We're keeping the process as light as possible: focs.computer.org/2025/childca...
We're keeping the process as light as possible: focs.computer.org/2025/childca...
Update: we extended the deadline, and childcare support for #FOCS2025 will be allocated on a rolling basis to attendees who need it (based on available remaining funds).
We're keeping the process as light as possible: focs.computer.org/2025/childca...
We're keeping the process as light as possible: focs.computer.org/2025/childca...
October 7, 2025 at 5:13 AM
Update: we extended the deadline, and childcare support for #FOCS2025 will be allocated on a rolling basis to attendees who need it (based on available remaining funds).
We're keeping the process as light as possible: focs.computer.org/2025/childca...
We're keeping the process as light as possible: focs.computer.org/2025/childca...
2 months, 10 days, 14 hours, 33 minutes, and 5 seconds until FOCS!
October 3, 2025 at 7:56 AM
2 months, 10 days, 14 hours, 33 minutes, and 5 seconds until FOCS!
Reposted by FOCS 2025
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...
Check 🇦🇺 average visa processing times: immi.homeaffairs.gov.au/visas/gettin...
Register – FOCS 2025
focs.computer.org
September 30, 2025 at 9:26 PM
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...
Check 🇦🇺 average visa processing times: immi.homeaffairs.gov.au/visas/gettin...
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...
Check 🇦🇺 average visa processing times: immi.homeaffairs.gov.au/visas/gettin...
Register – FOCS 2025
focs.computer.org
September 30, 2025 at 9:26 PM
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...
Check 🇦🇺 average visa processing times: immi.homeaffairs.gov.au/visas/gettin...
Reposted by FOCS 2025
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!
*We hope you do!
September 25, 2025 at 10:17 PM
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!
*We hope you do!
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!
*We hope you do!
September 25, 2025 at 10:17 PM
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!
*We hope you do!
Reposted by FOCS 2025
⏰ 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↴
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↴
September 19, 2025 at 10:34 AM
⏰ 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↴
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↴
⏰ 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↴
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↴
September 19, 2025 at 10:34 AM
⏰ 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↴
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↴
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.
September 18, 2025 at 5:11 PM
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.
Reposted by FOCS 2025
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-...
bsky.app/profile/focs...
🔗 focs.computer.org/2025/travel-...
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!
Deadline: ⏰ Sep 19th (11:59pm AoE)
🔗 focs.computer.org/2025/travel-...
Want to attend? Don't self-censor: apply!
Travel Support – FOCS 2025
focs.computer.org
September 13, 2025 at 1:57 PM
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-...
bsky.app/profile/focs...
🔗 focs.computer.org/2025/travel-...
Reposted by FOCS 2025
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...
bsky.app/profile/focs...
🔗 focs.computer.org/2025/childca...
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)
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
focs.computer.org
September 13, 2025 at 1:53 PM
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...
bsky.app/profile/focs...
🔗 focs.computer.org/2025/childca...
Reposted by FOCS 2025
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...
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...
FOCS 2025 Satellite Event: Celebration of TCS
sites.google.com
August 28, 2025 at 11:37 PM
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...
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...