1. Automating the Search for Elegant Proofs

   • Larry Wos

   OriginalPaper Pages: 135 - 175

2. The TPTP Problem Library

   • Geoff Sutcliffe
   • Christian Suttner

   OriginalPaper Pages: 177 - 203

3. Proof Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification

   • Andrei Voronkov

   OriginalPaper Pages: 205 - 231

4. Automated Synthesis of Recursive Programs from a ∀∃ Logical Specification

   • Jacques Chazarain
   • Serge Muller

   OriginalPaper Pages: 233 - 275

5. Announcements

   OriginalPaper Pages: 277 - 277