Organizing the IndiCS seminar on concurrency

Umang Mathur and Krishna S. (IIT Bombay) are organizing Frontiers in Verification and Analysis for Concurrency, an ACM India IndiCS seminar at the Infosys Mysore campus, 30 November–4 December 2026. The seminar will bring researchers together for talks, open-problem sessions, and discussions on testing, analysis, and verification of concurrent systems. Seminar website.