👋 Welcome!
fsttcs2024@gmail.com.This is the local information page for FSTTCS 2024, which will be hosted at IIT Gandhinagar between December 16–18, 2024. On this page, you will find more information about local arrangements and important announcements.
Thank you for joining us at FSTTCS, in-person or online! The conference was a delight, and we are now excited for the next edition at BITS Goa.
Meanwhile, you can find memories of the 2024 edition here, you can share your feedback, and you can also download slides as uploaded by authors from here. Also, our thanks to everyone who put FSTTCS together.
Please check the intel page for details that will help you navigate the venue! Briefly:
- The talks are in Academic Block 1, behind the 2 degree cafe
- Track A talks at FSTTCS and AMD talks are in AB 1/101
- Track B talks at FSTTCS, MM/RHPL/WAGS talks are in AB 1/102
- All keynote talks are in AB 1/103 (aka Jibaben auditorium)
- All food is at the pedway behind the fountain area near AB1: follow the crowd!
Entry and exit to the campus is through Gate 1. The password to get through is FSTTCS, verbalized with confidence. If this triggers further rituals, please follow them - you might have to at most sign off on a register.
For those who are fond of traditional maps:
- Milestones and Motifs in the Theory of Proofs, Algebraic Computation, and Lower Bounds
Dates: December 14 – 15, 2024 - Research Highlights in Programming Languages
Dates: December 16 – 18, 2024 (in parallel with FSTTCS) - Automata and Games for Synthesis
Dates: December 19, 2024 - Workshop on Algorithmic Mechanism Design
Dates: December 19 – 20, 2024
- Invitation Requests for Visa Applications: 13th October 2024 (AoE)
- Registrations Open: 7th October 2024
- Early Bird Registration Deadline: 24th November 2024 (AoE) (extended)
- Final Registration Deadline: 13th December 2024 (AoE)
There are three forms relevant to registration:
-
The main registration form: please register by filling out this form, which also includes a payment gateway. This should work for both Indian and international credit cards. If you are on an international card, the currency conversion happens after your card details have been entered. The registration fees are outlined here. You can use this form to register for the conference and associated workshops. If you would like to sign up for a workshop separately later, that will be possible to do as well.
-
The accommodation request form: if you would like to reserve a room at the guest house or our partner hotel, please use this form. Students can use the same form to indicate a request for a shared hostel room, which will be offered based on availability. Information about rates associated with various accommodation options is available here.
-
For international participants: when applying for a conference visa to India, you would need an invitation letter from the conference organizers and letter of clearance from the Ministry of External Affairs. To generate these documents, we will need some details, so we request you fill out this form ASAP, and in any case no later than 13th October 2024 (AoE). For more information about applying for a visa, please see this page.
You can reach out to any of the organizers with specific inquiries as indicated below, or post a question on the helpdesk page if you think it is broadly relevant, or email fsttcs2024@gmail.com.
-
Abhishek Bichhawat
abhishek.b -AT- iitgn.ac.in
(for queries on international participant support) -
Bireswar Das,
bireswar -AT- iitgn.ac.in
(for queries related to being a volunteer at FSTTCS) -
Anirban Dasgupta
anirbandg -AT- iitgn.ac.in
(for queries related to the Young Investigators Meet) -
Manoj Gupta
gmanoj -AT- iitgn.ac.in
(for queries related to workshop and student accommodation logistics) -
Balagopal Komarath
bkomarath -AT- iitgn.ac.in
(for queries related to registration and guest house/hotel accommodation, classrooms and recording arrangements) -
Neeldhara Misra
neeldhara.m -AT- iitgn.ac.in
(for any general queries) -
Manisha Padala
manisha.padala -AT- iitgn.ac.in
(for queries related to food arrangements) -
Siddharth Barman
barman -AT- iisc.ac.in
(for queries related to supporting FSTTCS --- more information here). -
Aalok Thakkar
aalok.thakkar -AT- ashoka.edu.in
(for queries related to FSTTCS on social media). -
Shibashis Guha
shibashis -AT- tifr.res.in
(for queries related to FSTTCS publicity beyond social media) -
S P Suresh
spsuresh -AT- cmi.ac.in
(for queries related to the main FSTTCS 2024 website and program pages) -
Jyothi Krishnan
jyothi.k -AT- iitgn.ac.in
(for queries related to the registration kit)
Many thanks to everyone who applied to the volunteer program! Please head over here to see the list of shortlisted applicants and further instructions.
Update: Invitation letters and the letter of political clearance have been sent out to all international participants who applied for it. Thanks for your patience!