ATVA China 2006

October 23-26, 2006       Beijing, China organised and funded by ARTIST 



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) ( ijfcs) and of the International Journal on Software Tools for Technology Transfer (STTT) (

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet