18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015).
Editors: Thomas Colcombet, Andrew M. Pitts, Daniele Varacca

Continuity, Computability, Constructivity - From Logic to Algorithms (CCC 2015)
Editors: Ulrich Berger, Willem Fouché, Arno Pauly, Dieter Spreen, Martin A. Ziegler

Selected papers of the joint 26th International Conference on "Rewriting Techniques and Applications" and 13th International Conference on "Typed Lambda Calculi and Applications" RTA/TLCA 2015
Editors: Thorsten Altenkirch, Maribel Fernández

Selected Papers of the Conferences FORTE and COORDINATION 2015
Editors: Susanne Graf, Tom Holvoet, Viswanathan Mahesh, Mirko Viroli

Selected Papers of the 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)
Editors: Lawrence S. Moss, Paweł Sobociński