Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers

5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers

International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers

13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers

Third European Conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010, Proceedings