Selected Papers of the Confrence 'Tools and Algorithms for the Construction and Analysis of Systems "TACAS" 2011'
Editors: Parosh A. Abdulla, Rustan Leino

Selected papers of the "22nd International Conference on Rewriting Techniques and Applications (RTA'11)"
Editors: Aart Middeldorp, Manfred Schmidt-Schauss

Selected Papers of the "22nd International Conference on Concurrency Theory" CONCUR 2011
Editors: Joost-Pieter Katoen, Barbara König

Selected Papers of the "20th European Symposium on Programming" ESOP 2011
Editors: Gilles Barthe, Frank Piessens

Special Issue for the Conference on Computer Science Logic (CSL) 2011
Editors: Marc Bezem, Pawel Urzyczyn

Special Issue for the Conference "Computability and Complexity in Analysis" (CCA 2011)
Editors: Margaret Archibald, Vasco Brattka, Martín Escardó, Peter Hertling

Selected Articles of the Conference: Logic in Computer Science (LICS) 2011
Editors: Patrick Baillot, Martin Grohe, Stephan Kreutzer

Selected papers of the conference "Algebraic and Coalgebraic Methods in Computer Science: CALCO 2011"
Editors: Andrea Corradini, Bartek Klin