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