8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers

Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers

Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings

18th International Working Conference, REFSQ 2012, Essen, Germany, March 2012, Proceedings

21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012, Proceedings

7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers