fsttcs's profile picture. The 45th IARCS Conference on Foundations of Software Technology and Theoretical Computer Science at @BITSPilaniGoa. Tweets by @AalokDThakkar.

FSTTCS 2025

@fsttcs

The 45th IARCS Conference on Foundations of Software Technology and Theoretical Computer Science at @BITSPilaniGoa. Tweets by @AalokDThakkar.

FSTTCS 2025 reposted

📣 Attention #PhD students in computing! Cycle 2 of the 4th Edition of #AnveshanSetu is NOW OPEN. ✔️ 4-week immersive visit with a host faculty of your choice ✔️ Fully funded by ACM India Don’t miss out — apply by 15 Oct 2025! 👉 india.acm.org/research/anves… #AnveshanSetu #ACMIndia

Indiaacm's tweet image. 📣 Attention #PhD students in computing!
Cycle 2 of the 4th Edition of #AnveshanSetu is NOW OPEN.
✔️ 4-week immersive visit with a host faculty of your choice
✔️ Fully funded by ACM India
Don’t miss out — apply by 15 Oct 2025!
👉 india.acm.org/research/anves…
#AnveshanSetu #ACMIndia

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!!!


FSTTCS 2025 reposted

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

Indiaacm's tweet image. 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

FSTTCS 2025 reposted

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



FSTTCS 2025 reposted

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…


FSTTCS 2025 reposted

Additional bonus of attending @fsttcs @iitgn this year was meeting old friends and attending @_chandan_jha‘s excellent talk !

mnwsth's tweet image. Additional bonus of attending @fsttcs @iitgn this year was meeting old friends and attending @_chandan_jha‘s excellent talk !
mnwsth's tweet image. 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!

fsttcs's tweet image. 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!

Happy Faces at FSTTCS 2024…

fsttcs's tweet image. Happy Faces at FSTTCS 2024…

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 )

fsttcs's tweet image. 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 )
fsttcs's tweet image. 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 )
fsttcs's tweet image. 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 )
fsttcs's tweet image. 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 🎉

fsttcs's tweet image. 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 🤩

fsttcs's tweet image. ⌛ 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 2025 reposted

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)


FSTTCS 2025 reposted

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 -…

TCSResearch's tweet image. 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!

fsttcs's tweet image. 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!

fsttcs's tweet image. 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!

FSTTCS 2025 reposted

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/…


United States Trends

Loading...

Something went wrong.


Something went wrong.