<div dir="ltr"><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px">*Apologies for cross-posting*<br style="box-sizing:border-box"><div style="box-sizing:border-box"><br style="box-sizing:border-box"></div><div style="box-sizing:border-box">Call for Participation: FSTTCS 2024</div><div style="box-sizing:border-box">and allied workshops</div><div style="box-sizing:border-box"><br style="box-sizing:border-box"></div><div style="box-sizing:border-box">==========================================</div><div style="box-sizing:border-box"><br style="box-sizing:border-box"></div></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px">QUICK LINKS:</div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px"><br style="box-sizing:border-box"></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px">Website: <a href="https://urldefense.com/v3/__https://www.fsttcs.org.in/2024/__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g3CI2-MW0$" target="_blank" rel="noreferrer" style="box-sizing:border-box;color:rgb(0,172,255);text-decoration-line:none;background-color:transparent">https://www.fsttcs.org.in/2024/</a></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px">Local website: <a href="https://urldefense.com/v3/__https://fsttcs.info/__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g3sXMLy2U$" target="_blank" rel="noreferrer" style="box-sizing:border-box;color:rgb(0,172,255);text-decoration-line:none;background-color:transparent">https://fsttcs.info/</a></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px"><br style="box-sizing:border-box"></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px">Registration: <a href="https://urldefense.com/v3/__https://fsttcs.info/registration/__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g31aJO_WY$" target="_blank" rel="noreferrer" style="box-sizing:border-box;color:rgb(0,172,255);text-decoration-line:none;background-color:transparent">https://fsttcs.info/registration/</a></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px">Early-bird registration deadline: 24th November, AoE</div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px"><br style="box-sizing:border-box"></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px">Volunteer Program: <a href="https://urldefense.com/v3/__https://fsttcs.info/volunteers/__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g39axi1-Y$" target="_blank" rel="noreferrer" style="box-sizing:border-box;color:rgb(0,172,255);text-decoration-line:none;background-color:transparent">https://fsttcs.info/volunteers/</a></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px">Deadline to apply: 20th November, AoE</div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px"><br style="box-sizing:border-box"></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px">Social Events: <a href="https://urldefense.com/v3/__https://fsttcs.info/social/__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g3y6B1QG8$" target="_blank" rel="noreferrer" style="box-sizing:border-box;color:rgb(0,172,255);text-decoration-line:none;background-color:transparent">https://fsttcs.info/social/</a></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px">Virtual Participation: <a href="https://urldefense.com/v3/__https://fsttcs.info/online/__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g3cpsrpFY$" target="_blank" rel="noreferrer" style="box-sizing:border-box;color:rgb(0,172,255);text-decoration-line:none;background-color:transparent">https://fsttcs.info/online/</a></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px"><br style="box-sizing:border-box"></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px">==========================================</div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px"><br style="box-sizing:border-box"></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px">WORKSHOPS:</div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px"><br style="box-sizing:border-box"></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px">MM: Milestones and Motifs in the Theory of Proofs, Algebraic Computation, and Lower Bounds<br style="box-sizing:border-box">Dates: December 14 – 15, 2024<br style="box-sizing:border-box"><a href="https://urldefense.com/v3/__https://mmcomplexity.github.io/__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g3quqlU2g$" target="_blank" rel="noreferrer" style="box-sizing:border-box;color:rgb(0,172,255);text-decoration-line:none;background-color:transparent">https://mmcomplexity.github.io/</a><br style="box-sizing:border-box"><br style="box-sizing:border-box">RHPL: Research Highlights in Programming Languages<br style="box-sizing:border-box">Dates: December 16 – 18, 2024</div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px"><a href="https://urldefense.com/v3/__https://fmindia.cmi.ac.in/rhpl2024/__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g3asj_1_k$" target="_blank" rel="noreferrer" style="box-sizing:border-box;color:rgb(0,172,255);text-decoration-line:none;background-color:transparent">https://fmindia.cmi.ac.in/rhpl2024/</a><br style="box-sizing:border-box"><br style="box-sizing:border-box">WAGS: Workshop on Automata and Games for Synthesis<br style="box-sizing:border-box">Dates: December 19, 2024<br style="box-sizing:border-box"><a href="https://urldefense.com/v3/__https://sites.google.com/view/fsttcs2024bworkshop__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g380qbDxc$" target="_blank" rel="noreferrer" style="box-sizing:border-box;color:rgb(0,172,255);text-decoration-line:none;background-color:transparent">https://sites.google.com/view/fsttcs2024bworkshop</a></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px"><br style="box-sizing:border-box">AMD: Workshop on Algorithmic Mechanism Design<br style="box-sizing:border-box">Dates: December 19 – 20, 2024</div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px"><a href="https://urldefense.com/v3/__http://www.tcs.tifr.res.in/*amd-24__;fg!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g3OioEDsg$" target="_blank" rel="noreferrer" style="box-sizing:border-box;color:rgb(0,172,255);text-decoration-line:none;background-color:transparent">http://www.tcs.tifr.res.in/~amd-24</a></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px"><br style="box-sizing:border-box"></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px">==========================================</div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px"><br style="box-sizing:border-box"></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px"><br style="box-sizing:border-box"></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px">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.<br style="box-sizing:border-box"><br style="box-sizing:border-box">FSTTCS 2024 will be held in IIT Gandhinagar during December 16–18, 2024. The conference is being organized as an in-person event.</div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px"><br style="box-sizing:border-box"></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px">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. </div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px"><br style="box-sizing:border-box"></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px">We are also on a social media network near you. Please follow us to keep up with updates:</div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px"><br style="box-sizing:border-box"></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px"><a href="https://urldefense.com/v3/__https://mathstodon.xyz/@fsttcs__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g3QVKTyXc$" target="_blank" rel="noreferrer" style="box-sizing:border-box;color:rgb(0,172,255);text-decoration-line:none;background-color:transparent">https://mathstodon.xyz/@fsttcs</a><br style="box-sizing:border-box"><a href="https://urldefense.com/v3/__https://bsky.app/profile/fsttcs.bsky.social__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g3r0Ejl-A$" target="_blank" rel="noreferrer" style="box-sizing:border-box;color:rgb(0,172,255);text-decoration-line:none;background-color:transparent">https://bsky.app/profile/fsttcs.bsky.social</a><br style="box-sizing:border-box"><a href="https://urldefense.com/v3/__https://x.com/fsttcs__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g335vvNEk$" target="_blank" rel="noreferrer" style="box-sizing:border-box;color:rgb(0,172,255);text-decoration-line:none;background-color:transparent">https://x.com/fsttcs</a><br style="box-sizing:border-box"><a href="https://urldefense.com/v3/__https://instagram.com/fst.tcs__;!!IBzWLUs!Rx8eRVashlscPsUzhSRbeKzAyRh2JRJANlPFFE-ANgcYCJVgWD_wEojOzvQcdctV-oOXC1GHZmmGehaEblK7gxo1M2vVR_g39gu3fbU$" target="_blank" rel="noreferrer" style="box-sizing:border-box;color:rgb(0,172,255);text-decoration-line:none;background-color:transparent">https://instagram.com/fst.tcs</a><br style="box-sizing:border-box"></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px"><br style="box-sizing:border-box"></div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px">We look forward to welcoming you at IIT Gandhinagar this December!</div><div style="box-sizing:border-box;color:rgb(44,54,58);font-family:Roboto,sans-serif;font-size:14px"><br></div></div>