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

[Shibashis Guha]

*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://urldefense.com/v3/__https://www.fsttcs.org.in/2025/__;!!IBzWLUs!TPOin_LABw6ONGmaYvczl9uKwmL_PqFZONdb34wTr-9QLV3b0TIOG7hk4gvQ0GQUiRm8eII4eHnSm1a7DeT7pSi44QTnzpw1zu7nCSY$ 

Registration: https://urldefense.com/v3/__https://fsttcs.info/registration/__;!!IBzWLUs!TPOin_LABw6ONGmaYvczl9uKwmL_PqFZONdb34wTr-9QLV3b0TIOG7hk4gvQ0GQUiRm8eII4eHnSm1a7DeT7pSi44QTnzpw11OfpdCE$ 
Early registration deadline: 5th December, AoE

Local information: https://urldefense.com/v3/__https://guptasid.bitbucket.io/fsttcs2025/__;!!IBzWLUs!TPOin_LABw6ONGmaYvczl9uKwmL_PqFZONdb34wTr-9QLV3b0TIOG7hk4gvQ0GQUiRm8eII4eHnSm1a7DeT7pSi44QTnzpw11rZx4ww$ 

==========================================

WORKSHOPS:

10th Indian SAT + SMT School
Dates: December 14 – 15, 2025
https://urldefense.com/v3/__http://sat-smt.in/__;!!IBzWLUs!TPOin_LABw6ONGmaYvczl9uKwmL_PqFZONdb34wTr-9QLV3b0TIOG7hk4gvQ0GQUiRm8eII4eHnSm1a7DeT7pSi44QTnzpw1qUWIbsA$ 

Workshop on Quantum Algorithms and Cryptography
Dates: December 14 – 15, 2025
https://urldefense.com/v3/__https://k-rajendra.github.io/Workshop/QCWorkshop25.html__;!!IBzWLUs!TPOin_LABw6ONGmaYvczl9uKwmL_PqFZONdb34wTr-9QLV3b0TIOG7hk4gvQ0GQUiRm8eII4eHnSm1a7DeT7pSi44QTnzpw1kvgRRKU$ 

Verification and Learning for Quantitative Systems
Dates: December 15 – 16, 2025
https://urldefense.com/v3/__https://quantformal-2025.vercel.app/__;!!IBzWLUs!TPOin_LABw6ONGmaYvczl9uKwmL_PqFZONdb34wTr-9QLV3b0TIOG7hk4gvQ0GQUiRm8eII4eHnSm1a7DeT7pSi44QTnzpw1JRpELQs$ 

FSTTCS Mentoring Workshop
Date: December 16, 2025
https://urldefense.com/v3/__https://aalok-thakkar.github.io/fsttcs-mentoring-workshop-2025.html__;!!IBzWLUs!TPOin_LABw6ONGmaYvczl9uKwmL_PqFZONdb34wTr-9QLV3b0TIOG7hk4gvQ0GQUiRm8eII4eHnSm1a7DeT7pSi44QTnzpw1HXF_2Yo$ 

Information in Games and Mechanisms
Date: December 16, 2025
https://urldefense.com/v3/__https://www.tcs.tifr.res.in/*igm-25/__;fg!!IBzWLUs!TPOin_LABw6ONGmaYvczl9uKwmL_PqFZONdb34wTr-9QLV3b0TIOG7hk4gvQ0GQUiRm8eII4eHnSm1a7DeT7pSi44QTnzpw18Uaop-g$ 

RHPL: Research Highlights in Programming Languages
Dates: December 17 – 19, 2025
https://urldefense.com/v3/__https://fmindia.cmi.ac.in/rhpl2025/__;!!IBzWLUs!TPOin_LABw6ONGmaYvczl9uKwmL_PqFZONdb34wTr-9QLV3b0TIOG7hk4gvQ0GQUiRm8eII4eHnSm1a7DeT7pSi44QTnzpw16T9W19M$ 

WAGS: Workshop on Automata and Games for Synthesis
Dates: December 20, 2025
https://urldefense.com/v3/__https://sites.google.com/view/wagsfsttcs2025/home__;!!IBzWLUs!TPOin_LABw6ONGmaYvczl9uKwmL_PqFZONdb34wTr-9QLV3b0TIOG7hk4gvQ0GQUiRm8eII4eHnSm1a7DeT7pSi44QTnzpw1R-v6A3s$ 

CSS: Workshop on Compilers-oriented Software Security
Dates: December 20, 2025
https://urldefense.com/v3/__https://awpandeyiitr.github.io/Homepage/CSS.html__;!!IBzWLUs!TPOin_LABw6ONGmaYvczl9uKwmL_PqFZONdb34wTr-9QLV3b0TIOG7hk4gvQ0GQUiRm8eII4eHnSm1a7DeT7pSi44QTnzpw1SEu-Slw$ 

==========================================
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20251201/141410f2/attachment-0001.htm>