#focs2025 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #focs2025, aggregated by home.social.
-
The info and slides of the 18 🎓 "Graduating Bits" participants are now available on the website! #FOCS2025
Look at them, hire them!
https://focs.computer.org/2025/graduating-bits/ -
We have compiled a helpful list of Frequently Asked Questions, to help with planning your trip to #FOCS2025:
📋 https://focs.computer.org/2025/travel-food-activities/
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?"
-
A mobile-friendly and easier to use version of the #FOCS2025 is now available:
-
The list of social activities for #FOCS2025 has been posted! Scavenger hunt, morning runs, random walks, networking event, senior/junior lunches...
Introducing, this year, "Succinct Sketches" for volunteers to blog (semi) live from the conference! #TheoreticalCS
-
The #FOCS2025 schedule is up! https://focs.computer.org/2025/schedule/
-
And the flip side! If you are on the 🎓 job market, you can provide your information at this form: https://forms.gle/ipAQg4cmBsmj3gwu6
This will only be shared with the #FOCS2025 sponsors and relevant parties/attendees for them to contact you during the conference.
More: https://focs.computer.org/2025/activities/
In addition, whether you're on the job market or hiring, consider attending the 🎓 Graduating Bits, on Sunday, Dec 14: "Graduating PhD students and postdocs will give short 2-minute presentations introducing themselves, their research interests and plans."
https://focs.computer.org/2025/graduating-bits/ -
The Sydney Algorithms and Theory of Computing (SACT) group at #USyd 🇦🇺 has a number of postdoc positions available (2+ years) in all areas of TCS, with one focusing on streaming and one on planning and synthesis. Expected start mid- or end 2026.
Excellent candidates are encouraged to contact us by email, or during #FOCS2025. Good salary and benefits, dynamic and collegial environment, wonderful place to live in. Join us!
More information: https://usyd-sact.github.io/
(We also have PhD positions available, as detailed there!)
-
If your institution wants to advertise Theory jobs to the #FOCS2025 attendees, a form has been set up on our website: https://focs.computer.org/2025/activities/
The spreadsheet collating job openings in Theoretical CS will be made available to attendees (and online), to help graduating students and junior researchers.
-
Dec 11-13 at #USyd, just before #FOCS2025: "A Celebration of Theoretical Computer Science": now with a poster!
Info and (free) registration: https://sites.google.com/view/celebration-tcs-2025/home #Theory #ComputerScience #TheoreticalCS
-
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): https://sites.google.com/view/celebration-tcs-2025/home
Also: poster session (most likely involving gelato), reception, networking, Q&A...
All that on the (beautiful) USyd campus, in summery December, just before FOCS!
-
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: "if you need it, ask for it!"
-
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.
More info (and registration): https://focs.computer.org/2025/
-
⏰ The #FOCS2025 🧑🎓 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!
* Student and Postdocs travel support application: https://focs.computer.org/2025/travel-support/
* Childcare support application: https://focs.computer.org/2025/childcare-support/
Don't self-censor: if you think you need it, apply!
-
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: https://focs.computer.org/2025/childcare-support/
Deadline (for the latter): ⏰ September 19th (AoE)
-
Applications for travel support to attend #FOCS2025, for students and postdocs, are open! ⏰ Deadline: Sep 19 #TheoreticalCS
https://focs.computer.org/2025/travel-support/
(no requirement to have a paper at the conference to apply)
-
The list of accepted papers at the 66th Annual Symposium on Foundations of #ComputerScience (#FOCS2025) is out!
https://focs.computer.org/2025/accepted-papers/Registration for the conference (Dec 14-17, in #Sydney) is open, and applications for student travel support will be available soon.
-
The submission server for #FOCS2025 is now open! Submit your work: https://focs25.hotcrp.com/
-
The #FOCS2025 website is up! Featuring a Call for Papers and important dates: https://focs.computer.org/2025/
⏰ Deadline: April 3, 2025 (8pm ET)
⏰ Notification: July 8, 2025
🗓️ Conference: December 14–17, 2025Content and info will be added as it becomes available (workshops, activities, travel support).