The IndiCS Seminar on Automated Synthesis will take taking place from 4-7 November 2025 (with a pre-seminar mentoring workshop on 2-3 November) at the Infosys Campus in Mysore, brings together researchers working across the spectrum of synthesis techniques: from program and reactive synthesis to functional and AI-driven approaches. The event is modelled after the Dagstuhl seminars and the Simons Institute programs, and replaces the Mysore Park Workshop series.
Key themes include 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 will also explore questions around synthesis benchmarking and evaluation, as well as pedagogy.
news:
The tenative schedule for the seminar is now available.