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).