Program Committee

P. Agarwal
M. Agrawal (IITK)
T. Asano
V. Chandru (IISc)
R. Cleaveland
A. Dawar
S. Kannan
S. Kapoor (IITD) co-chair
K. Lodaya (IMSc)
M. Mukund (CMI)
G. Nadathur
S. Naor
T. Nipkow
L. Ong
C. Pandu Rangan (IITM)
P. Pandya (TIFR)
B. Pierce
S. Prasad (IITD) co-chair
Sridhar Rajagopalan
A. Ranade (IITB)
D. Sands
A. Prasad Sistla
M. Smid
M.K. Srivas