IndiCS Seminar Repository
- IndiCS seminar 5: Designing Private and Secure Systems for Humans
- Date: To be announced
- Co-ordinators: Abhishek Bichhawat and Mainack Mondal
- Location: To be announced
- Host organization: To be announced
- IndiCS seminar 4: Frontiers in Verification and Analysis for Concurrency
- Date: To be announced
- Co-ordinators: S. Krishna and Umang Mathur
- Location: To be announced
- Host organization: To be announced.
- IndiCS Seminar 3: Algorithmic Game Design
- Date: December 8-13, 2025
- Coordinators: Debasis Misra,Swaprava Nath, Arunava Sen, Rohit Vaish
- Location: Amritha Vishwa Vidyapeetham Coimbatore Campus
- Host Organization: Amritha Vishwa Vidyapeetham
Abstract: Mechanism design is an important subfield of economics that focuses on creatingnprotocols to achieve desired outcomes in environments where multiple self-interested agents interact. Algorithmic mechanism design (AMD) builds on this concept by addressing computational and algorithmic challenges, utilizing tools from theoretical computer science, artificial intelligence, and economics. This seminar focused on unresolved, high-impactquestions in mechanism design, both with and without monetary transfers. A pre-seminar school provided a comprehensive overview of these critical issues, while the seminar had expert talks and encouraged collaborative problem-solving in smaller, focused interest groups. By bringing together experts in the field, the seminar served to drive meaningful progress on these socially significant challenges.
- IndiCS Seminar 2: Automated Synthesis
- Date: November 3-7, 2025
- Coordinators: Supratik Chakraborty, Priyanka Golia, Kumar Madhukar, Aalok Thakkar
- Location: Infosys Mysore Campus
- Host Organization: Infosys
Abstract: This seminar explored the theory and practice of automatically constructing systems, programs, and functions from high-level specifications. Situated at the intersection of logic, algorithms, formal verification, and programming languages, automated synthesis has advanced rapidly in recent years, propelled by innovations in symbolic methods, solver technology, and learning-based approaches. The event convened 46 participants, comprising faculty members, industry practitioners, postdoctoral fellows, and students. By integrating tutorials, invited talks, deep-dive lectures, and open-problem sessions, the seminar provided a cohesive platform for participants to exchange ideas and address the field’s most pressing challenges. The five-day program consisted of a pre-seminar school where the fundamentals of reactive synthesis, functional synthesis, and program synthesis, including neuro-symbolic synthesis, were covered. Subsequently, there were three deep-dive tutorials, and multiple talks by experts (from academia and industry) on various aspects of each of these topics. The seminar also included open problem sessions, that led to lively discussions.
- IndiCS Seminar 1: Continuous Methods in Discrete Optimization and Complexity
- Date: October 16-20, 2024
- Coordinators: Sujoy Bhore, Rohit Gurjar, Akash Kumar
- Location: Infosys Mysore Campus
- Host organization: Infosys
Abstract: In recent years, ideas originating from continuous domains have enabled some major progress on fundamental questions in discrete optimization and complexity theory. The seminar brought together researchers who are interested in exploring the rich interplay between continuous and discrete methods in theoretical computer science. The seminar had 21 talks, two open problem sessions, and multiple discussion sessions, through which it facilitated researchers from various sub-areas of TCS in learning tools and techniques from continuous domains, as well as in exploring potential problems where these methods can be effectively applied.