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