FSTTCS 2025
@fsttcs
The 45th IARCS Conference on Foundations of Software Technology and Theoretical Computer Science at @BITSPilaniGoa. Tweets by @AalokDThakkar.
To be fair, programmers also have big opinions about the future of things other than programming
lot of non-programmers with a lot of big opinions about the future of programming these days
Are you preparing for FSTTCS'25? Now it's the perfect time to make your submissions! Call for papers (due July 11 AOE): fsttcs.org.in/2025/#submissi… We're looking forward to another exciting year!!!
COMPUTE 2025 proceedings ACCEPTED for publication in Springer Nature's CCIS series! 📖⚡ Don't miss out! Submit your papers NOW 👇 isigcse.acm.org/compute/2025/ #COMPUTE2025 #SpringerNature #CCIS #AcademicPublishing #ComputingEducation #Research #IITRopar
I attended @fsttcs this year. Although I didn't understand most of the technical content, it was heartwarming to see the inclusive, warm and welcoming community that the conference has become. Kudos to the organizers (@neeldhara , @BarmanSiddharth and team) and the FST…
Additional bonus of attending @fsttcs @iitgn this year was meeting old friends and attending @_chandan_jha‘s excellent talk !
The co-located MM Workshop focussed on the Proof Theory, Algebraic Computation, and Lower Bounds. It was truly a celebration with excellent participation from all attendees!
Day 2 of the pre-conference workshop at #FSTTCS2024 is now underway. Tune in on Youtube if you can't make it in person: buff.ly/4fmjXLd
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 @iitgn )
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: buff.ly/4geRgkt
Teaser! Thanks to N.R. Aravind (IIT Hyderabad) for making this #FSTTCS-exclusive crossword 🤩 Coming soon to a registration desk near you 🎉
⌛ 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 🤩
Introducing prompts @fsttcs. We're going to throw in some conversation starters (tiny printables) into a bowl that'll be kept at the coffee table, to make the conference easier for introverts. If you don't know what to talk about, pick a prompt to begin! Suggestions? (1/2)
We are pleased to share that TCS Research is a Sponsor of the 44th IARCS Annual Conference on @fsttcs, to be held at @iitgn. This annual conference brings together thought leaders in algorithms, #cryptography, #programming languages, and more. Register here -…
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!
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!
Application are now open for the Predoc 2025 program at Google DeepMind India. If you are pre-PhD (i.e., current undergrad or masters students or recent geaduates) and interested in research, then this should be a no-brainier. Please apply by Dec 18, 2024 google.com/about/careers/…