1. Message from the New Editor-in-Chief

   • Jasmin Blanchette

   EditorialNotes 12 February 2021 Pages: 155 - 155

2. Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration

   • Dario Cattaruzza
   • Alessandro Abate
   • Daniel Kroening

   OriginalPaper Open access 29 May 2020 Pages: 157 - 203

   

3. Mechanisation of the AKS Algorithm

   • Hing Lun Chan
   • Michael Norrish

   OriginalPaper 02 September 2020 Pages: 205 - 256

4. TacticToe: Learning to Prove with Tactics

   • Thibault Gauthier
   • Cezary Kaliszyk
   • Michael Norrish

   OriginalPaper 20 August 2020 Pages: 257 - 286

   

5. Machine Learning Guidance for Connection Tableaux

   • Michael Färber
   • Cezary Kaliszyk
   • Josef Urban

   OriginalPaper Open access 05 September 2020 Pages: 287 - 320

   

6. CoCon: A Conference Management System with Formally Verified Document Confidentiality

   • Andrei Popescu
   • Peter Lammich
   • Ping Hou

   OriginalPaper Open access 16 July 2020 Pages: 321 - 356