Program Committee

M Agrawal (IITK)
V Arvind (IMSc) co-chair
J-Y Cai
R Hariharan (IISc)
K Krithivasan (IITM)
M Mahajan (IMSc)
M Mukund (SMI)
M Nielsen
T Nipkow
C Pandurangan (IITM)
R Parikh
S Prasad (IITD)
R Ramanujam (IMSc) co-chair
A Ranade (IITB)
S Sen (IITD)
N Shankar
G Sivakumar (IITB)
Aravind Srinivasan
K V Subrahmanyam (SMI)
K G Subramanian (MCC)
M Vardi
P Weil