The Future of the TPTP

Coming Soon

• TFX - Typed First-order eXtended (in v8.0.0)
• Modalities (in progress)
• Multi-valued logics (not soon)

The Big Picture

• 25th CASC next year ... quo vadis?
• TPTP community
  • Please keep contributing problems
  • Please keep writing ATP systems
• There are still 3990 problems of rating 1.00!

• The TPTP is immortal ... am I?
  • Modernization of the TPTP
  • Alignment with SMTLib
  • More CASCs