SPECIAL ISSUES ARCHIVE OF 2011
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