Committees
General Chair
Program Committee Chairs
- Deepak D'Souza (IISc, Bangalore)
- K Narayan Kumar (CMI, Chennai)
Program Committee
- M F Atig (Uppsala U)
- Srivathsan B (CMI, India)
- Franck Cassez (Macquerie U)
- Rohit Chadha (U Missouri)
- Supratik Chakraborty (IIT Bombay)
- Giorgio Delzanno (DIBRIS, Genoa)
- Stephane Demri (CNRS, LSV, Cachan)
- Deepak D'Souza (IISc, Bangalore) (Co-Chair)
- Constantin Enea (U Paris 7)
- Blaise Genest (IRISA Rennes)
- Ashutosh Gupta (TIFR, Mumbai)
- Teruo Higashino (IST, Osaka)
- Radu Iosif (VERIMAG, Grenoble)
- Jie-Hong Roland Jiang (NTU, Taiwan)
- Joost-Pieter Katoen (U Aachen)
- Nicolas Markey (CNRS, IRISA, Rennes)
- Roland Meyer (TU Braunschweig)
- K Narayan Kumar (CMI, Chennai) (Co-Chair)
- Doron Peled (Bar Ilan U)
- Pavithra Prabhakar (Kansas State Univ)
- Xiaokang Qiu (MIT)
- K V Raghavan (IISc, Bangalore)
- Indranil Saha (IIT Kanpur)
- Jun Sun (SUTD, Singapore)
- S P Suresh (CMI, Chennai)
- Ashish Tiwari (SRI)
- Salvatore La Torre (UNISA Salerno)
- R Venkatesh (TCS, Pune)
- Farn Wang (NTU, Taiwan)
- Shaofa Yang (CAS, Beijing)
- Hsu-Chun Yen (NTU, Taiwan)
Organizing Committee
- Priyanka Darke (TCS, Pune)
- Advaita Datar (TCS, Pune)
- Anushri Jana (TCS, Pune)
- Kashmira Jijina (TCS, Pune)
- Kumar Madhukar (TCS, Pune)
- Tukaram Muske (TCS, Pune) (Finance Chair)
- Anuj Sharma (TCS, Pune)
- Ulka Shrotri (TCS, Pune) (Chair)
- Divyesh Unadkat (TCS, Pune)
Steering Committee
- E Allen Emerson (UT Austin)
- Teruo Higashino (Osaka U)
- Oscar H Ibarra (UC Santa Barbara)
- Insup Lee (U Pennsylvania)
- Doron A Peled (Bar Ilan U)
- Farn Wang (NTU, Taiwan)
- Hsu-Chun Yen (NTU, Taiwan)