Special Issue of the Symposium on Principles of Programming Languages 2009
Editors: Nick Benton, Patricia Johann

Algebra and Coalgebra in Computer Science: CALCO 2009
Editors: Alexander Kurz, Andrzej Tarlecki

Selected Papers of the Conference ''Logic in Computer Science 2009''
Editors: Radha Jagadeesan, Nir Piterman, Andrew M Pitts

Special Issue of the 20th International Conference on Rewriting Techniques and Applications 2009
Editors: Jean Goubault-Larrecq, Ralf Treinen

Special Issue of the Conference "Automated Reasoning with Analytic Tableaux and Related Methods 2009"
Editors: Franz Baader, Martin Giese, Arild Waaler

Selected Papers of the Conference "Typed Lambda Calculi and Applications 2009"
Editors: Patrick Baillot, Pierre-Louis Curien, Luca Paolini

Fifteenth International Conference on "Tools and Algorithms for the Construction and Analysis of Systems TACAS 2009"
Editors: Stefan Kowalewski, Anna Philippou

Selected Papers of the International Colloquium on Automata, Languages and Programming 2009
Editor: Wolfgang Thomas

Special Issue for the Conference on Computer Science Logic CSL 2009
Editors: Erich Grädel, Reinhard Kahle