PUBLICATION/PROCEEDINGS:
Following ATVA 2004 (LNCS 3299) and ATVA 2005 (LNCS 3707), the formal proceedings of ATVA 2006 is published as LNCS 4218, Springer-Verlag.

Extended versions of selected papers on theoretical foundation and technology-transfer from the conference series will be solicited for publication in special issues of the International Journal of Foundations of Computer Science (IJFCS) (http://www.cs.ucsb.edu/~ijfcs) and of the International Journal on Software Tools for Technology Transfer (STTT) (http://sttt.cs.uni-dortmund.de).