Automated Technology for Verification and Analysis (ATVA)
Conference Venue: Taipei, Taiwan
Website:
http://www.im.ntu.edu.tw/~atva2005/