The IndiCS Seminar on Automated Synthesis will took place from 4-7 November 2025 (with a pre-seminar mentoring workshop on 2-3 November) at the Infosys Campus in Mysore, brining together researchers working across the spectrum of synthesis techniques: from program and reactive synthesis to functional and AI-driven approaches. The event was modelled after the Dagstuhl seminars and the Simons Institute programs, and replaces the Mysore Park Workshop series.
Key themes included exploring the synergies across synthesis techniques and connecting formal synthesis methods with machine learning and neuro-symbolic reasoning. Beyond the technical talks, tutorials, and Open Problems and Application Challenges (OPAC) sessions, we also explored questions around synthesis benchmarking and evaluation, as well as pedagogy.