FSTTCS 2025
@fsttcs.bsky.social
The 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science at BITS Pilani, Goa.
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!!!
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
June 25, 2025 at 6:22 PM
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!!!
Call for papers (due July 11 AOE): www.fsttcs.org.in/2025/#submis...
We're looking forward to another exciting year!!!
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
December 15, 2024 at 3:51 AM
Day 2 of the pre-conference workshop at #FSTTCS2024 is now underway. Tune in on Youtube if you can't make it in person:
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 )
December 14, 2024 at 4:32 AM
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 )
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
December 13, 2024 at 6:57 PM
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:
Teaser! Thanks to N.R. Aravind (IIT Hyderabad) for making this #FSTTCS-exclusive crossword 🤩
Coming soon to a registration desk near you 🎉
Coming soon to a registration desk near you 🎉
December 12, 2024 at 6:49 PM
Teaser! Thanks to N.R. Aravind (IIT Hyderabad) for making this #FSTTCS-exclusive crossword 🤩
Coming soon to a registration desk near you 🎉
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 🤩
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 🤩
December 11, 2024 at 6:16 PM
⌛ 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 🤩
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 🤩
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!
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!
December 11, 2024 at 4:08 PM
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!
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!
You will be a part of an online community that's attending FSTTCS!
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!
December 9, 2024 at 8:41 AM
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!
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!
Join us for an evening of board games on Monday, December 16 after the conference talks! More social events at fsttcs.info/social
December 6, 2024 at 7:54 AM
Join us for an evening of board games on Monday, December 16 after the conference talks! More social events at fsttcs.info/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!
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!
December 4, 2024 at 4:30 AM
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!
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!
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!
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!
December 3, 2024 at 4:30 AM
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!
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!
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!
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!
December 2, 2024 at 4:30 AM
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!
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
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???
No hallway tracks if you don't want them, @shriram.bsky.social :)
Did I mention that online access is free???
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!
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
November 28, 2024 at 8:12 PM
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???
No hallway tracks if you don't want them, @shriram.bsky.social :)
Did I mention that online access is free???
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!
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!
November 27, 2024 at 6:30 PM
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!
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!
📣 Early-bird registrations closing soon! Calling all last-minute warriors to sign up in the next 24 hours.
November 26, 2024 at 11:23 AM
📣 Early-bird registrations closing soon! Calling all last-minute warriors to sign up in the next 24 hours.
Raise your hand if you are coming to FSTTCS or planning to follow along online so we can prepare a #FSTTCS2024 starter pack!
November 22, 2024 at 11:35 PM
Raise your hand if you are coming to FSTTCS or planning to follow along online so we can prepare a #FSTTCS2024 starter pack!
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.
November 22, 2024 at 9:48 AM
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.
The early bird registration closes on Sunday, November 24. Register now and join us for the 44th FSTTCS conference at IIT Gandhinagar!
November 22, 2024 at 9:34 AM
The early bird registration closes on Sunday, November 24. Register now and join us for the 44th FSTTCS conference at IIT Gandhinagar!
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.
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
November 20, 2024 at 1:08 PM
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.
Details in the next post.
Behind the scenes... social events being put in place for #FSTTCS2024 --- who's excited? 👀
Register while the early bird rates are still available D
Register while the early bird rates are still available D
November 19, 2024 at 4:01 PM
Behind the scenes... social events being put in place for #FSTTCS2024 --- who's excited? 👀
Register while the early bird rates are still available D
Register while the early bird rates are still available D
Last call for volunteers at FSTTCS 2024!
If you are a student (undergraduate, masters, or PhD) or a postdoc, you are eligible to apply! Pro-bono offers for support from non-students welcome too.
Deadline: 20th November, 2024 (AoE)
⌛ ~48 hours to go!
(Link in next post.)
If you are a student (undergraduate, masters, or PhD) or a postdoc, you are eligible to apply! Pro-bono offers for support from non-students welcome too.
Deadline: 20th November, 2024 (AoE)
⌛ ~48 hours to go!
(Link in next post.)
November 19, 2024 at 4:00 AM
Last call for volunteers at FSTTCS 2024!
If you are a student (undergraduate, masters, or PhD) or a postdoc, you are eligible to apply! Pro-bono offers for support from non-students welcome too.
Deadline: 20th November, 2024 (AoE)
⌛ ~48 hours to go!
(Link in next post.)
If you are a student (undergraduate, masters, or PhD) or a postdoc, you are eligible to apply! Pro-bono offers for support from non-students welcome too.
Deadline: 20th November, 2024 (AoE)
⌛ ~48 hours to go!
(Link in next post.)
Excited to announce that FSTTCS will feature a Young Investigators Meet on the first day of the conference. If you are on the theoryCS job market or hiring (industry or academia), please get in touch!
More details coming soon.
More details coming soon.
November 17, 2024 at 4:58 PM
Excited to announce that FSTTCS will feature a Young Investigators Meet on the first day of the conference. If you are on the theoryCS job market or hiring (industry or academia), please get in touch!
More details coming soon.
More details coming soon.
FSTTCS is now on @bsky.app! Follow us for updates, announcements, and news on the upcoming conference at IIT Gandhinagar from December 16-18.
Early Bird registration closes Nov 24!
Student Volunteer registration closes Nov 20!
Early Bird registration closes Nov 24!
Student Volunteer registration closes Nov 20!
November 15, 2024 at 9:16 AM
FSTTCS is now on @bsky.app! Follow us for updates, announcements, and news on the upcoming conference at IIT Gandhinagar from December 16-18.
Early Bird registration closes Nov 24!
Student Volunteer registration closes Nov 20!
Early Bird registration closes Nov 24!
Student Volunteer registration closes Nov 20!