home.social

#focs2025 — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #focs2025, aggregated by home.social.

  1. 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

    focs.computer.org/2025/activit

  2. 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: usyd-sact.github.io/

    (We also have PhD positions available, as detailed there!)

  3. 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/celebrat

    Also: poster session (most likely involving gelato), reception, networking, Q&A...

    All that on the (beautiful) USyd campus, in summery December, just before FOCS!

  4. Applications for travel support to attend #FOCS2025, for students and postdocs, are open! ⏰ Deadline: Sep 19 #TheoreticalCS

    focs.computer.org/2025/travel-

    (no requirement to have a paper at the conference to apply)