Program Committee

A. Kumar (IITD)
A. Seth (IITK)
A. Dawar
Anupam Gupta
A. Tiwari
A. Kiehn (IITD)
D. Miller
D. D'Souza (IISc)
E. Ramos
G. Italiano
H. Veith
J. Esparza
J.-P. Katoen
Kavitha T. (IISc)
M. Mukund (CMI)
M. Agrawal (IITK)
M. Pistore
M. Papatriantafilou
N. Garg (IITD) co-chair
N. Young
N. Yoshida
P. Panangaden
R. Jagadeesan
R. Khandekar
S. Arun-Kumar (IITD) co-chair
S.K. Rajamani
S.C. Nandy (ISICal)
S. Chakraborty (IITB)
S. Albers
Y. Rabani