FSTTCS 2025
@fsttcs.bsky.social
32 followers 4 following 30 posts
The 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science at BITS Pilani, Goa.
Posts Media Videos Starter Packs
fsttcs.bsky.social
Are you preparing for FSTTCS'25? Now it's the perfect time to make your submissions!

Call for papers (due July 11 AOE): www.fsttcs.org.in/2025/#submis...

We're looking forward to another exciting year!!!
FSTTCS 2025
www.fsttcs.org.in
fsttcs.bsky.social
Day 2 of the pre-conference workshop at #FSTTCS2024 is now underway. Tune in on Youtube if you can't make it in person:
[FSTTCS 2024] MM Workshop Day 2
Share your videos with friends, family, and the world
buff.ly
fsttcs.bsky.social
The MM workshop at #FSTTCS2024 is off to a great start with a full house! Subscribe to the FSTTCS 2024 Youtube channel to follow along if you are not at IITGN )
fsttcs.bsky.social
D-Day! Welcome to the first pre-conference workshop at #FSTTCS2024, starting a few hours from now :) Tune in on Youtube if you can't make it in person:
[FSTTCS 2024] MM Workshop Day 1
Share your videos with friends, family, and the world
buff.ly
fsttcs.bsky.social
Teaser! Thanks to N.R. Aravind (IIT Hyderabad) for making this #FSTTCS-exclusive crossword 🤩

Coming soon to a registration desk near you 🎉
fsttcs.bsky.social
⌛ In-person registrations close in 48 hours!

Might we remind you that it's only way to get a hold of our conference kit, designed by folks at the Center for Creative Learning, IIT Gandhinagar, and brought to you by CCL and Amuse Labs 🤩
fsttcs.bsky.social
Mark your calendars for the invited talk by Suguman Bansal! This will be virtual.

Title: Logic-guided Reinforcement Learning
Timing: Dec 18 (Wednesday), 9:00 AM

Sign up for virtual participation from the conference website and we'll keep you posted about our livestreams!
fsttcs.bsky.social
Mark your calendars for the invited talk by Uriel Feige!

Title: Fair Allocations with Little Communication
Timing: Dec 18 (Wednesday), 9:00 AM

Can't make it in person? Sign up for virtual participation from the conference website!

You will be a part of an online community that's attending FSTTCS!
fsttcs.bsky.social
Join us for an evening of board games on Monday, December 16 after the conference talks! More social events at fsttcs.info/social
fsttcs.bsky.social
Sign up here for virtual participation at FSTTCS: https://buff.ly/3Z5qyDD

You will be a part of an online community that's attending FSTTCS (both IRL and remote), and we'll keep you posted about our livestreams!
Online
Information
buff.ly
fsttcs.bsky.social
Mark your calendars for the invited talk by Dmitry Chistikov!

Title: Three Views on Linear Integer Arithmetic
Timing: DEC 17 (Tuesday), 2:00 PM

Can't make it in person? Link for joining virtually in the next post!
fsttcs.bsky.social
Sign up here for virtual participation at FSTTCS: https://buff.ly/3Z5qyDD

You will be a part of an online community that's attending FSTTCS (both IRL and remote), and we'll keep you posted about our livestreams!
Online
Information
buff.ly
fsttcs.bsky.social
Mark your calendars for the invited talk by Sebastian Siebertz!

Title: Advances in Algorithmic Meta Theorems
Timing: DEC 17 (Tuesday), 9:00 AM

Can't make it in person? Link for joining virtually in the next post!
fsttcs.bsky.social
Sign up here for virtual participation at FSTTCS: https://buff.ly/3Z5qyDD

You will be a part of an online community that's attending FSTTCS (both IRL and remote), and we'll keep you posted about our livestreams!
fsttcs.bsky.social
Mark your calendars for the invited talk by Ioannis Caragiannis!

Title: Two Stories About Distortion in Social Choice
Timing: DEC 16 (Monday), 2:00 PM

Can't make it in person? Link for joining virtually in the next post!
Reposted by FSTTCS 2025
aussiedingo.bsky.social
Check out the agenda and attend it online!

No hallway tracks if you don't want them, @shriram.bsky.social :)

Did I mention that online access is free???
fsttcs.bsky.social
Sign up here for virtual participation at FSTTCS: https://buff.ly/3Z5qyDD

You will be a part of an online community that's attending FSTTCS (both IRL and remote), and we'll keep you posted about our livestreams!
Online
Information
buff.ly
fsttcs.bsky.social
Sign up here for virtual participation at FSTTCS: https://buff.ly/3Z5qyDD

You will be a part of an online community that's attending FSTTCS (both IRL and remote), and we'll keep you posted about our livestreams!
Online
Information
buff.ly
fsttcs.bsky.social
Mark your calendars for Pankaj Agarwal's invited talk at FSTTCS!

Title: Optimal Transport: A Geometric Perspective
Timing: DEC 16 (Monday), 9:00 AM

Can't make it in person? Link to virtual participation in the next post!
fsttcs.bsky.social
📣 Early-bird registrations closing soon! Calling all last-minute warriors to sign up in the next 24 hours.
fsttcs.bsky.social
Raise your hand if you are coming to FSTTCS or planning to follow along online so we can prepare a #FSTTCS2024 starter pack!
fsttcs.bsky.social
PhD students and early stage postdocs are invited to present at the Workshop on Automata and Games for Synthesis (WAGS), co-located with FSTTCS2024. Registration closes tomorrow, November 23! More details at our webpage.
fsttcs.bsky.social
The early bird registration closes on Sunday, November 24. Register now and join us for the 44th FSTTCS conference at IIT Gandhinagar!
fsttcs.bsky.social
Please join us in the post-FSTTCS workshop on Algorithmic Mechanism Design, where we talk about fair division, matchings, federated learning, market design, and more! December 19th and 20th, IIT Gandhinagar.

Details in the next post.
Workshop on Algorithmic Mechanism Design
The past few years have seen many new applications and developments. Examples include ride-sharing, participatory budgeting, auctions in social networks, assignment problems with diversity…
buff.ly
fsttcs.bsky.social
Behind the scenes... social events being put in place for #FSTTCS2024 --- who's excited? 👀

Register while the early bird rates are still available D