Committees

General Chair

• S Ramesh (Global GM R&D)

Steering Committee

• E. Allen Emerson (Univ of Texas Austin, USA)
• Teruo Higashino (Osaka Univ, Japan)
• Oscar H. Ibarra (Univ of California at Santa Barbara, USA)
• Insup Lee (Univ of Pennsylvania, USA)
• Doron A. Peled (Bar Ilan Univ, Israel)
• Farn Wang (National Taiwan Univ, Taiwan)
• Hsu-Chun Yen (National Taiwan Univ, Taiwan)

Programme Committee

• Rajeev Alur (Univ of Pennsylvania, USA)
• Christel Baier (TU Dresden, Germany)
• Purandar Bhaduri (IIT Guwahati, India)
• Jonathan Billington (Univ of South Australia, Australia)
• Gianpiero Cabodi (Politecnico di Torino, Italy)
• Supratik Chakraborty (IIT Bombay, India) (Co-Chair)
• Deepak D'Souza (IISc, India)
• Pallab Dasgupta (IIT Kharagpur, India)
• E. Allen Emerson (Univ of Texas at Ausin, USA)
• Laurent Fribourg (LSV, CNRS & ENS Cachan, France)
• Masahiro Fujita (Univ of Tokyo, Japan)
• Susanne Graf (Verimag, France)
• Teruo Higashino (Osaka Univ, Japan)
• Alan Hu (Univ of British Columbia, Canada)
• Franjo Ivančić (NEC Labs, USA)
• Joost-Pieter Katoen (RWTH Aachen Univ, Germany)
• Zurab Khasidashvili (Intel, Israel)
• Moonzoo Kim (KAIST, S. Korea)
• Padmanabhan Krishnan (Bond Univ, Australia)
• K Narayan Kumar (CMI, India)
• Orna Kupferman (Hebrew Univ, Isreal)
• Insup Lee (Univ of Pennsylvania, USA)
• Xuandong Li (Nanjing Univ, P.R. China)
• Madhavan Mukund (CMI, India) (Co-Chair)
• Aditya Nori (Microsoft Research India, India)
• Jun Pang (Univ Luxembourg, Luxembourg)
• Doron Peled (Bar Ilan Univ, Israel)
• Sanjiva Prasad (IIT Delhi, India)
• Ganesan Ramalingam (Microsoft Research India, India)
• Anders P. Ravn (Aalborg Univ, Denmark)
• Abhik Roychoudhury (National Univ of Singapore, Singapore)
• Ashish Tiwari (SRI, USA)
• R Venkatesh (TRDDC, India)
• Mahesh Viswanathan (Univ of Illinois at Urbana-Champaign, USA)
• Farn Wang (National Taiwan Univ, Taiwan)
• Hsu-Chun Yen (National Taiwan Univ, Taiwan)
• Wang Yi (Uppsala Univ, Sweden)

Organizing Committee

• Supratik Chakraborty (IIT Bombay, India)
• K Kesavasamy (TCS, India) (Co-Chair)
• Shrawan Kumar (TRDDC, India) (Finance Chair)
• Madhavan Mukund (CMI, India)
• S Ramesh (Global GM R&D)
• R Venkatesh (TRDDC, India) (Co-Chair)