Program Committee

Manindra Agrawal (IIT Kanpur, India) co-chair
Thorsten Altenkirch (Nottingham, UK)
Mike Fellows (Newcastle, Australia)
Naveen Garg (IIT Delhi, India)
K. Gopinath (IISc, Bangalore, India)
Peter O'Hearn (Queen Mary, London, UK)
Martin Hoffman (LMU, Munich, Germany)
Meena Mahajan (IMSc, Chennai, India)
Rajeev Motwani (Stanford, USA)
Rajagopal Nagarajan (Warwick, UK)
Tobias Nipkow (TU Munich, Germany)
Venkatesh Raman (IMSc, Chennai, India)
R. Ramanujam (IMSc, Chennai, India)
R. Ravi (CMU, USA)
Davide Sangiorgi (INRIA, France)
Anil Seth (IIT Kanpur, India) co-chair
G. Sivakumar (IIT Bombay, India)
Colin Stirling (Edinburgh, UK)
V. Vinay (IISc, Bangalore, India)
Igor Walukiewicz (Bordeaux, France)
Nobuko Yoshida (Imperial College, London, UK)