IndiCS seminar · Mysore, India

Frontiers in Verification and Analysis for Concurrency

A week of research, open problems, and discussion on concurrent systems.

Seminar
30 November-4 December 2026
Venue
Infosys Mysore campus, India
Participation
By invitation

Tentative participants

The participant list below is tentative and subject to change. Participation in the seminar is by invitation only. If you would like to participate, please email the organizers: Krishna S. and Umang Mathur.

25 participants · list subject to change
NameAffiliation
Anca MuschollLaBRI
Ankush DasBoston University
Ankush DesaiSnowflake
B. SrivathsanCMI
Gowtham KakiUC Boulder
Igor WalukiewiczLaBRI
Kartik NagarIIT Madras
KC SivaramakrishnanIIT Madras
Konstantinos SagonasUppsala University
Krishna S.IIT Bombay
Mahesh ViswanathanUIUC
Manas ThakurIIT Bombay
Michael SchwarzNUS
Minjian ZhangUIUC
Narayan KumarCMI
Omkar TuppeIIT Bombay
P. MadhusudanUIUC
Prakash SaivasanIMSc
R. GovindIMSc
Roland MeyerTU Braunschweig
Rupak MajumdarMPI-SWS
Sanchari SilCMI
Suresh JagannathanPurdue University
Thomas WiesNYU
Umang MathurNUS

Please contact the organizers with corrections or changes to your participation plans.