The 11th TPTP Tea Party
Abstract
This meeting will bring together developers and users of the TPTP World, including (but not
limited to):
- The TPTP problem library
- The TSTP solution library
- The TPTP syntax
- Anything else in the TPTP World
- etc
The meeting aims to elicit feedback, suggestions, criticisms, etc, of
these resources, in order to ensure that their continued development
meets the needs of successful automated reasoning.