Welcome to the ATVA 2005 Web site! This site is no longer maintained and is kept only for archival purposes. We gratefully acknowledge the support of Department of Information Management and Department of Electrical Engineering of National Taiwan University for hosting ATVA 2005 and its Web site.

ATVA 2005 is the third of the Automated Technology for Verification and Analysis international symposium series. The purpose of the symposium series is to promote research on automated verification and analysis in East Asia by providing a forum for interaction between the regional and the international research/industrial communities of the field. The first ATVA was held from December 10 to 13 in 2003 and the second from October 31 to November 3 in 2004, both in Taipei , Taiwan , on the campus of National Taiwan University.

The proceedings of ATVA 2005 is published by Springer as volume 3707 in the Lecture Notes in Computer Science series. A special journal issue is also being planned for selected papers. The proceedings of ATVA 2004 were published as Volume 3299 of LNCS. A special issue of IJFCS (International Journal of Foundations of Computer Science) consisting of invited papers and selected contributed papers from ATVA 2003 and ATVA 2004 is currently being organized. See http://www.cs.ucsb.edu/~ijfcs.

The IT industry, particularly hardware design and manufacturing, is very strong in Taiwan and some other East Asian countries, which has spurred a growing interest in formal verification. Your participation in ATVA just might open the door to future collaborations with research or industry design teams in East Asia .

ATVA 2005 will be co-located with FORTE 2005, with a two-day overlap. We expect to attract an interesting crowd here in Taipei during the joint event.