Selected Papers of the Conferences FORTE and COORDINATION 2016.
Editors: Elvira Albert, Ivan Lanese, Alberto Lluch Lafuente and José Proença

Selected Papers of the 1st International Conference on Formal Structures and Deduction (FSCD 2016)
Editors: Delia Kesner, Brigitte Pientka

Selected Papers of the International Joint Conference on Automated Reasoning (IJCAR 2016)
Editors: Nicola Olivetti and Ashish Tiwari

Selected Papers of the 27th International Conference on Concurrency Theory (CONCUR 2016)
Editors: Franck van Breugel, Josée Desharnais, Radha Jagadeesan, Catuscia Palamidessi, Ana Sokolova

Special Festschrift Issue in Honor of Jiří Adámek
Editors: Stefan Milius and Lawrence Moss

Special Issue for the Conference on Computer Science Logic (CSL) 2016
Editors: Laurent Regnier and Jean-Marc Talbot