[FM-India]Call for Participation: FSTTCS 2025 (Dec 17-19, Goa, India) and co-located workshops

*Apologies for cross-posting* Call for Participation: FSTTCS 2025 and co-located workshops 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. 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. 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. ========================================== QUICK LINKS: Website: https://www.fsttcs.org.in/2025/ Registration: https://fsttcs.info/registration/ Early registration deadline: 5th December, AoE Local information: https://guptasid.bitbucket.io/fsttcs2025/ ========================================== WORKSHOPS: 10th Indian SAT + SMT School Dates: December 14 – 15, 2025 http://sat-smt.in/ Workshop on Quantum Algorithms and Cryptography Dates: December 14 – 15, 2025 https://k-rajendra.github.io/Workshop/QCWorkshop25.html Verification and Learning for Quantitative Systems Dates: December 15 – 16, 2025 https://quantformal-2025.vercel.app/ FSTTCS Mentoring Workshop Date: December 16, 2025 https://aalok-thakkar.github.io/fsttcs-mentoring-workshop-2025.html Information in Games and Mechanisms Date: December 16, 2025 https://www.tcs.tifr.res.in/~igm-25/ RHPL: Research Highlights in Programming Languages Dates: December 17 – 19, 2025 https://fmindia.cmi.ac.in/rhpl2025/ WAGS: Workshop on Automata and Games for Synthesis Dates: December 20, 2025 https://sites.google.com/view/wagsfsttcs2025/home CSS: Workshop on Compilers-oriented Software Security Dates: December 20, 2025 https://awpandeyiitr.github.io/Homepage/CSS.html ==========================================