IndiCS Seminar on Automated Synthesis 2025

This seminar is organised by Supratik Chakraborty, Priyanka Golia, Kumar Madhukar, and Aalok Thakkar. Please write to us for any questions.