Program Committee

R. Amadio
V. Arvind (IMSc) co-chair
I. Cervesato
S. Chakraborty (IITB)
Sunil Chandran (IISc)
S. Datta (CMI)
D. D'Souza (IISc)
S. Ganguly (IITK)
R. Goré
AArti Gupta
Vineet Gupta
P. Jayanti
R. Jhala
D. Kapur
S. Khot
J. K\"obler
K. Narayan Kumar (CMI)
K.G. Larsen
S. Lokam (MRI)
G. Morrisett
S. Prasad (IITD) co-chair
S. Qadeer
S. Srinivasa Rao
P. Sen (TIFR)
H. Seidl
Aravind Srinivasan
C.R. Subramaninan (IMSc)
D. Th\'erien
A. Tiwari
V. Variyam
H. Vollmer
H. Yang