<div dir="ltr"><div>*Apologies for cross-posting*<br><br>Call for Participation: FSTTCS 2025 and co-located workshops<br><br>FSTTCS 2025 is the 45th 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><br>FSTTCS 2025 will be held in BITS Pilani, K K Birla Goa Campus during December 17–19, 2025. The conference is being organized as an in-person event.<br><br>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. <br><br>==========================================<br><br>QUICK LINKS:<br><br>Website: <a href="https://urldefense.com/v3/__https://www.fsttcs.org.in/2025/__;!!IBzWLUs!TPOin_LABw6ONGmaYvczl9uKwmL_PqFZONdb34wTr-9QLV3b0TIOG7hk4gvQ0GQUiRm8eII4eHnSm1a7DeT7pSi44QTnzpw1zu7nCSY$">https://www.fsttcs.org.in/2025/</a><br><br>Registration: <a href="https://urldefense.com/v3/__https://fsttcs.info/registration/__;!!IBzWLUs!TPOin_LABw6ONGmaYvczl9uKwmL_PqFZONdb34wTr-9QLV3b0TIOG7hk4gvQ0GQUiRm8eII4eHnSm1a7DeT7pSi44QTnzpw11OfpdCE$">https://fsttcs.info/registration/</a><br>Early registration deadline: 5th December, AoE<br><br>Local information: <a href="https://urldefense.com/v3/__https://guptasid.bitbucket.io/fsttcs2025/__;!!IBzWLUs!TPOin_LABw6ONGmaYvczl9uKwmL_PqFZONdb34wTr-9QLV3b0TIOG7hk4gvQ0GQUiRm8eII4eHnSm1a7DeT7pSi44QTnzpw11rZx4ww$">https://guptasid.bitbucket.io/fsttcs2025/</a><br><br>==========================================<br><br>WORKSHOPS:<br><br>10th Indian SAT + SMT School<br>Dates: December 14 – 15, 2025<br><a href="https://urldefense.com/v3/__http://sat-smt.in/__;!!IBzWLUs!TPOin_LABw6ONGmaYvczl9uKwmL_PqFZONdb34wTr-9QLV3b0TIOG7hk4gvQ0GQUiRm8eII4eHnSm1a7DeT7pSi44QTnzpw1qUWIbsA$">http://sat-smt.in/</a><br><br>Workshop on Quantum Algorithms and Cryptography<br>Dates: December 14 – 15, 2025<br><a href="https://urldefense.com/v3/__https://k-rajendra.github.io/Workshop/QCWorkshop25.html__;!!IBzWLUs!TPOin_LABw6ONGmaYvczl9uKwmL_PqFZONdb34wTr-9QLV3b0TIOG7hk4gvQ0GQUiRm8eII4eHnSm1a7DeT7pSi44QTnzpw1kvgRRKU$">https://k-rajendra.github.io/Workshop/QCWorkshop25.html</a><br><br>Verification and Learning for Quantitative Systems<br>Dates: December 15 – 16, 2025<br><a href="https://urldefense.com/v3/__https://quantformal-2025.vercel.app/__;!!IBzWLUs!TPOin_LABw6ONGmaYvczl9uKwmL_PqFZONdb34wTr-9QLV3b0TIOG7hk4gvQ0GQUiRm8eII4eHnSm1a7DeT7pSi44QTnzpw1JRpELQs$">https://quantformal-2025.vercel.app/</a><br><br>FSTTCS Mentoring Workshop<br>Date: December 16, 2025<br><a href="https://urldefense.com/v3/__https://aalok-thakkar.github.io/fsttcs-mentoring-workshop-2025.html__;!!IBzWLUs!TPOin_LABw6ONGmaYvczl9uKwmL_PqFZONdb34wTr-9QLV3b0TIOG7hk4gvQ0GQUiRm8eII4eHnSm1a7DeT7pSi44QTnzpw1HXF_2Yo$">https://aalok-thakkar.github.io/fsttcs-mentoring-workshop-2025.html</a><br><br>Information in Games and Mechanisms<br>Date: December 16, 2025<br><a href="https://urldefense.com/v3/__https://www.tcs.tifr.res.in/*igm-25/__;fg!!IBzWLUs!TPOin_LABw6ONGmaYvczl9uKwmL_PqFZONdb34wTr-9QLV3b0TIOG7hk4gvQ0GQUiRm8eII4eHnSm1a7DeT7pSi44QTnzpw18Uaop-g$">https://www.tcs.tifr.res.in/~igm-25/</a><br><br>RHPL: Research Highlights in Programming Languages<br>Dates: December 17 – 19, 2025<br><a href="https://urldefense.com/v3/__https://fmindia.cmi.ac.in/rhpl2025/__;!!IBzWLUs!TPOin_LABw6ONGmaYvczl9uKwmL_PqFZONdb34wTr-9QLV3b0TIOG7hk4gvQ0GQUiRm8eII4eHnSm1a7DeT7pSi44QTnzpw16T9W19M$">https://fmindia.cmi.ac.in/rhpl2025/</a><br><br>WAGS: Workshop on Automata and Games for Synthesis<br>Dates: December 20, 2025<br><a href="https://urldefense.com/v3/__https://sites.google.com/view/wagsfsttcs2025/home__;!!IBzWLUs!TPOin_LABw6ONGmaYvczl9uKwmL_PqFZONdb34wTr-9QLV3b0TIOG7hk4gvQ0GQUiRm8eII4eHnSm1a7DeT7pSi44QTnzpw1R-v6A3s$">https://sites.google.com/view/wagsfsttcs2025/home</a><br><br>CSS: Workshop on Compilers-oriented Software Security<br>Dates: December 20, 2025<br><a href="https://urldefense.com/v3/__https://awpandeyiitr.github.io/Homepage/CSS.html__;!!IBzWLUs!TPOin_LABw6ONGmaYvczl9uKwmL_PqFZONdb34wTr-9QLV3b0TIOG7hk4gvQ0GQUiRm8eII4eHnSm1a7DeT7pSi44QTnzpw1SEu-Slw$">https://awpandeyiitr.github.io/Homepage/CSS.html</a><br><br>==========================================</div></div>