Special issue on Six Decades of Automated Reasoning: Papers in Memory of Larry Wos (437-584)

Special Issue of Selected Extended Papers of IJCAR 2020

Special Issue: Selected Extended Papers of CADE 2019

Special Issue: Selected Extended Papers from IJCAR 2018 / Guest Editors: Didier Galmiche, Stephan Schulz and Roberto Sebastiani & Special Issue: Selected and Extended Papers from TACAS 2018 / Guest Editors: Dirk Beyer and Marieke Huisman

Special Issue: Selected Extended Papers from ITP 2018

Special Issue: Automated Reasoning Systems / Guest Editors: Armin Biere, Cesare Tinelli, Christoph Weidenbach & Special Issue: Selected Extended Papers of CADE 2017 / Guest Editor: Leonardo de Moura

Special Issue: Linearity / Guest Editors: Iliano Cervesato, Maribel Fernandez & Special Issue: Selected Extended Papers of NFM 2017 / Guest Editors: Clark Barrett, Temesghen Kahsai

Special Issue: Homotopy Type Theory and Univalent Foundations / Guest Editors: Peter Lefanu Lumsdaine, Nicolas Tabareau & Special Issue: Selected Extended Papers of ITP 2017 / Guest Editors: Mauricio Ayala-Rincón, César Muñoz

Special Issue: Selected Extended Papers of ITP 2015

Special Issue: Selected Extended Papers of ITP 2016

Special Issue: Milestones in Interactive Theorem Proving

Special Issue: Selected Extended Papers of VSTTE 2016

Special Issue: Selected Extended Papers of NFM 2016

Special Issue: Automatic Resource Bound Analysis

Special Issue: Selected Extended Papers of CADE 2015

Special Issue: Selected Extended Papers of IJCAR 2014

Special Issue: Interpolation

Special Issue of Selected Extended Papers of ITP 2014

Special Issue: 40 Years of Mizar and Beyond

Special Issue of Selected Extended Papers of CADE-23

Special Issue: Formal Mathematics for Mathematicians

Special Issue: The POPLmark Challenge

Special Issue: Theory and Applications of Abstraction, Substitution and Naming