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