Home

Call for Papers
[ PDF | TXT ]

Paper submissions
Accepted papers
Conference program
[ PDF]
Accomodation
Registration
Social events
Travel and local Information
Organization
Poster

 

Previous ATVAs
ATVA 2007
ATVA 2006
ATVA 2005
ATVA 2004
ATVA 2003

 

ATVA2008 is sponsored by the following institutions and companies:
 
 
ATVA2008 is organized by the following society:
 
 
For further information, please contact
kimyunho@kaist.ac.kr
 
 
Last updated: Aug 11,2008



General Co-Chairs :
Sungdeok Cha (Korea Univ., Korea)
Insup Lee (Univ. of Pennsylvania, US)

Program Co-Chairs :
Moonzoo Kim (KAIST, Korea)
Mahesh Viswanathan (UIUC, USA)


Local Arrangement Chair:
Jin-Young Choi (Korea Univ., Korea)

Program Committee:

Christel Baier (Univ. of Bonn, Germany)
Jonathan Billington (Univ. of South Australia, Austrailia)
Byeong-Mo Chang (SookMyung Women University, Korea)
Yunja Choi (Kyungpook National Univ, Korea)
Ching-Tsun Chou (Intel, USA)
Masahiro Fujita (Univ. of Tokyo, Japan)
Susanne Graf (VERIMAG, France)
Wolfgang Grieskamp (Microsoft research, USA)
Teruo Higashino (Osaka Univ., Japan)
Franjo Ivancic (NEC Lab, USA)
Ranjit Jhala (UC San Diego, USA)
Gihwon Kwon (Kyonggi Univ., Korea)
Insup Lee (Univ. of Pennsylvania, USA)
Shaoying Liu (Hosei Univ., Japan)
Zhiming Liu (IIST/United Nations Univ., Macao)
Mila E. Majster-Cederbaum (Univ. of Mannheim, Germany)
Ken McMillan (Cadence, USA)
In-ho Moon (Synopsis, USA)
Shin Nakajima (National Institute of Informatics, Japan)
Kedar Namjoshi (Bell Labs, USA)
Doron A. Peled (Univ. of Warwick, UK)
Hiroyuki Seki (NAIST, Japan)
Prasad Sistla (Univ. of Illinois at Chicago, USA)
P.S. Thiagarajan (National Univ. of Singapore, Singapore)
Yih-Kuen Tsay (National Taiwan Univ., Taiwan)
Bow-Yaw Wang (Academia Sinica, Taiwan)
Farn Wang (National Taiwan Univ., Taiwan)
Ji Wang (National U. of Techn. of China, China)
Hsu-Chun Yen (National Taiwan Univ., Taiwan)
Tomohiro Yoneda (National Institute of Informatics, Japan)
Sergio Yovine (VERIMAG, France)
Shoji Yuen (Nagoya Univ., Japan)
Wenhui Zhang (Chinese Academy of Sciences, China)

Steering Committee:
E.A. Emerson (University of Texas at Austin, USA)
Insup Lee (University of Pennsylvania, USA)
Doron A. Peled (University of Warwick, UK)
Farn Wang (National Taiwan University, Taiwan)
Hsu-Chun Yen (National Taiwan University, Taiwan)
Teruo Higashino (Osaka University, Japan)