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