General Chair of ATVA 2005 Workshop

Served as General Chair of the International Workshop on Automated Technology for Verification and Analysis (ATVA 2005) in Taipei, Taiwan.