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