Skip to content

International Symposium on Automated Technology for Verification and Analysis

  • Organization
  • Previous Events
  • Call for Proposals

Organization

Steering Committee

  • Yu-Fang Chen, Academia Sinica
  • Yunja Choi, Kyungpook National University
  • Ichiro Hasuo, National Institute of Informatics
  • Jie-Hong Roland Jiang, National Taiwan University
  • Doron A Peled, Bar Ilan University

Advisory Committee

  • Teruo Higashino, Osaka University
  • Oscar H. Ibarra, University of California, Santa Barbara
  • Insup Lee, University of Pennsylvania
  • Farn Wang, National Taiwan University
  • Hsu-Chun Yen, National Taiwan University

Contact

atva@iis.sinica.edu.tw

Proudly powered by WordPress.