Formally Verified Certificate Checkers for Hardest-to-Round Computation Érik Martin-DorelGuillaume HanrotLaurent Théry OriginalPaper 19 August 2014 Pages: 1 - 29
Automated Planning as an Early Verification Tool for Distributed Control Kamalesh GhoshPallab DasguptaS. Ramesh OriginalPaper 11 October 2014 Pages: 31 - 68
On Interpolation in Automated Theorem Proving Maria Paola BonacinaMoa Johansson OriginalPaper 19 October 2014 Pages: 69 - 97
Erratum to : Learning-Assisted Automated Reasoning with Flyspeck Cezary KaliszykJosef Urban Erratum 18 October 2014 Pages: 99 - 99