*Apologies for cross-posting*
Call for Participation: FSTTCS 2024
and allied workshops
==========================================
QUICK LINKS:
Website:
https://www.fsttcs.org.in/2024/
Local website:
https://fsttcs.info/
Registration:
https://fsttcs.info/registration/
Early-bird registration deadline: 24th November, AoE
Volunteer Program:
https://fsttcs.info/volunteers/
Deadline to apply: 20th November, AoE
Social Events:
https://fsttcs.info/social/
Virtual Participation:
https://fsttcs.info/online/
==========================================
WORKSHOPS:
MM: Milestones and Motifs in the Theory of Proofs, Algebraic Computation,
and Lower Bounds
Dates: December 14 – 15, 2024
https://mmcomplexity.github.io/
RHPL: Research Highlights in Programming Languages
Dates: December 16 – 18, 2024
https://fmindia.cmi.ac.in/rhpl2024/
WAGS: Workshop on Automata and Games for Synthesis
Dates: December 19, 2024
https://sites.google.com/view/fsttcs2024bworkshop
AMD: Workshop on Algorithmic Mechanism Design
Dates: December 19 – 20, 2024
http://www.tcs.tifr.res.in/~amd-24
==========================================
FSTTCS 2024 is the 44th conference on Foundations of Software Technology
and Theoretical Computer Science. It is organised by IARCS, the Indian
Association for Research in Computing Science, in association with ACM
India. It is a forum for presenting original results in foundational
aspects of Computer Science and Software Technology. Within Track B, there
is a focus on soliciting submissions in the areas of Programming Languages
and Practical Verification, in addition to theoretical results.
FSTTCS 2024 will be held in IIT Gandhinagar during December 16–18, 2024.
The conference is being organized as an in-person event.
We also have several exciting workshops lined up! You can register for the
conference and any subset of the workshops, or just for one or more of the
workshops.
We are also on a social media network near you. Please follow us to keep up
with updates:
https://mathstodon.xyz/@fsttcs
https://bsky.app/profile/fsttcs.bsky.social
https://x.com/fsttcs
https://instagram.com/fst.tcs
We look forward to welcoming you at IIT Gandhinagar this December!