The Past and Present

The TPTP World

• The TPTP problem library
• The TSTP solution library
• The TPTP languages and SZS ontologies
• The SystemOnTPTP (etc.) services
• The CADE ATP System Competition (CASC)

Proposal for Expansion and Modernisation

• Expanded and modernised libraries
• New logics and languages
• Improved user services

Proposal Declined - Real Consequences

• Some things will be done
• Some things won't be done
• Some services will decline
• See the next presentation