Selected Papers of the "10th International Conference on Quantitative Evaluation of SysTems (QEST 2013)"
Editors: Kaustubh Joshi, Markus Siegle

Selected Papers of the "24th International Conference on Concurrency Theory" CONCUR 2013
Editors: Pedro R. D'Argenio, HernĂ¡n Melgratti, Davide Sangiorgi

Selected Papers of the 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013)
Editors: Reiko Heckel, Stefan Milius

Selected Papers of the Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013)
Editors: Nir Piterman, Scott A. Smolka

Selected Paper of the Conference "Typed Lambda Calculi and Applications" (TLCA 2013)
Editors: Herman Geuvers, Masahito Hasegawa, Paul-André Melliès

Selected Papers of the Tenth International Conference on Computability and Complexity in Analysis (CCA 2013)
Editors: Martin Escardó, Mathieu Hoyrup, Ker-I Ko, Robert Rettinger, Ning Zhong