1. Modular and Incremental Automated Termination Proofs

   • Xavier Urbain

   OriginalPaper Article: 315

   

2. Formal verification of a generic framework to synthesize SAT-provers

   • Francisco -Jesús Martín-Mateos
   • José -Antonio Alonso
   • José -Luis Ruiz-Reina

   OriginalPaper Article: 287

3. Obituary

   • Deepak Kapur

   Announcement Article: iii