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!
Reposted by FOCS 2025
The #FOCS2025 schedule is up! focs.computer.org/2025/schedule/
Schedule – FOCS 2025
focs.computer.org
November 20, 2025 at 5:24 AM
The #FOCS2025 schedule is up! focs.computer.org/2025/schedule/
The #FOCS2025 schedule is up! focs.computer.org/2025/schedule/
Schedule – FOCS 2025
focs.computer.org
November 20, 2025 at 5:24 AM
The #FOCS2025 schedule is up! focs.computer.org/2025/schedule/
While waiting for the full technical program, some useful information!
Sunday, Dec 14: Reception 🥂
Monday, Dec 15: Business meeting 🧑💼
Tuesday, Dec 16: Banquet 🍴🍷
Friday, Dec 17: Best paper awards! 🏆
Sunday, Dec 14: Reception 🥂
Monday, Dec 15: Business meeting 🧑💼
Tuesday, Dec 16: Banquet 🍴🍷
Friday, Dec 17: Best paper awards! 🏆
November 19, 2025 at 10:52 PM
While waiting for the full technical program, some useful information!
Sunday, Dec 14: Reception 🥂
Monday, Dec 15: Business meeting 🧑💼
Tuesday, Dec 16: Banquet 🍴🍷
Friday, Dec 17: Best paper awards! 🏆
Sunday, Dec 14: Reception 🥂
Monday, Dec 15: Business meeting 🧑💼
Tuesday, Dec 16: Banquet 🍴🍷
Friday, Dec 17: Best paper awards! 🏆
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
And the flip side! If you are on the 🎓 job market, you can provide your information at this form: forms.gle/ipAQg4cmBsmj...
This will only be shared with the #FOCS2025 sponsors and relevant parties/attendees for them to contact you during the conference.
More: focs.computer.org/2025/activit...
This will only be shared with the #FOCS2025 sponsors and relevant parties/attendees for them to contact you during the conference.
More: focs.computer.org/2025/activit...
Activities – FOCS 2025
focs.computer.org
November 15, 2025 at 1:28 AM
And the flip side! If you are on the 🎓 job market, you can provide your information at this form: forms.gle/ipAQg4cmBsmj...
This will only be shared with the #FOCS2025 sponsors and relevant parties/attendees for them to contact you during the conference.
More: focs.computer.org/2025/activit...
This will only be shared with the #FOCS2025 sponsors and relevant parties/attendees for them to contact you during the conference.
More: focs.computer.org/2025/activit...
Reposted by FOCS 2025
Looking for inspiration for your #FOCS2025 pre-recorded talk? Check out this video youtu.be/Ygu5m-yPFhg
Producing recorded research talks
YouTube video by EATCS
youtu.be
November 15, 2025 at 11:01 AM
Looking for inspiration for your #FOCS2025 pre-recorded talk? Check out this video youtu.be/Ygu5m-yPFhg
Reposted by FOCS 2025
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.
Reposted by FOCS 2025
Update: yes.
In addition to their in-person talks, authors will have the option to upload a pre-recorded video, to be made available on the #FOCS2025 YouTube channel. Expect an email by the PC chairs shortly!
In addition to their in-person talks, authors will have the option to upload a pre-recorded video, to be made available on the #FOCS2025 YouTube channel. Expect an email by the PC chairs shortly!
November 15, 2025 at 12:25 AM
Update: yes.
In addition to their in-person talks, authors will have the option to upload a pre-recorded video, to be made available on the #FOCS2025 YouTube channel. Expect an email by the PC chairs shortly!
In addition to their in-person talks, authors will have the option to upload a pre-recorded video, to be made available on the #FOCS2025 YouTube channel. Expect an email by the PC chairs shortly!
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
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...