The TPTP Tea Party (TPTPTP) brings together developers and users of the TPTP World, including (but not limited to):

• The TPTP problem library and the TSTP solution library

• The TPTP languages, problem formats, and solution formats

• TPTP World software

• The CADE ATP System Competition (CASC)

• etc.

The meeting aims to elicit feedback, suggestions, criticisms, etc, of these resources, in order to ensure that their continued development of the TPTP World meets the needs of successful automated reasoning.