The Actual Future

Questions for You

• Can you donate problems?
• What statistics do you need?
• How should the TDTP be structured?
• What non-classical logics are important?
• Can you help with Github?

The Short Term Future

• Will you make donations to the TPTP project?

The Long Term Future

• Stay tuned ... the next talk