Tenth International Symposium on

Automated Technology for Verification and Analysis (ATVA) 2012

Thiruvananthapuram (Trivandrum), Kerala, October 3–6, 2012



Committees

General Chair

  • S Ramesh (Global GM R&D, India)

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, India)
  • R Venkatesh (TRDDC, India) (Co-Chair)