Selected papers of the conference on ''Foundations of Software Science and Computation Structures'': FOSSACS 2012
Editors: Luca Aceto, Lars Birkedal

23rd International Conference on Concurrency Theory (CONCUR 2012)
Editors: Maciej Koutny, Irek Ulidowski

Selected papers of the conference ''Tools and Algorithms for the Construction and Analysis of Systems'': TACAS 2012
Editors: Cormac Flanagan, Barbara König

Special Issue for the Conference on Computer Science Logic (CSL) 2012
Editors: Patrick Cégielski, Arnaud Durand

Selected Papers of the Ninth International Conference on Computability and Complexity in Analysis (CCA) 2012
Editors: Martín Escardó, Arno Pauly, Matthias Schröder, Klaus Weihrauch

Selected papers of the ''Turing Centenary Conference: CiE 2012''
Editors: Arnold Beckmann, Anuj Dawar

Festschrift Issue in Honor of Dieter Spreen
Editors: Ulrich Berger, Hannes Diener, Norbert Müller