11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers

International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings

11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings