1. Formally Verified Certificate Checkers for Hardest-to-Round Computation

   • Érik Martin-Dorel
   • Guillaume Hanrot
   • Laurent Théry

   OriginalPaper 19 August 2014 Pages: 1 - 29

2. Automated Planning as an Early Verification Tool for Distributed Control

   • Kamalesh Ghosh
   • Pallab Dasgupta
   • S. Ramesh

   OriginalPaper 11 October 2014 Pages: 31 - 68

3. On Interpolation in Automated Theorem Proving

   • Maria Paola Bonacina
   • Moa Johansson

   OriginalPaper 19 October 2014 Pages: 69 - 97

4. Erratum to : Learning-Assisted Automated Reasoning with Flyspeck

   • Cezary Kaliszyk
   • Josef Urban

   Erratum 18 October 2014 Pages: 99 - 99