The Expansion, Modernisation, and
Future of the TPTP World
The Past and Present
The (Future) TPTP Libraries
The (Future) Logics and Languages
The (Future) User Services
The Actual Future
The End - Any Questions?
