FSTTCS 2025
@fsttcs.bsky.social
The 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science at BITS Pilani, Goa.
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 )
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!
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.
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.
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.