First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers

8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings

An Overview of Current Research Trends

Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings

Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings

9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005, Proceedings