We are organizing the ACM India IndiCS seminar on <a href="https://indics-synthesis.github.io/"> Automated Synthesis</a>, together with Supratik Chakraborty, Aalok Thakkar, and Kumar Madhukar.