The 4th TPTP Tea Party will be held after the Automated Reasoning Workshop 2007 21st April 2007

• The TPTP problem library
• The TSTP solution library
• The TPTP syntax
• The SZS ontology
• The System B4 TPTP, System on TPTP, and System on TSTP services
• 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. The meeting will be structured discussion following an agenda of topics that have been suggested and agreed upon in advance. The topics so far are:

1. The typed first-order and higher-order TPTP syntax.

2. The SZS ontology.

3. Arithmetic and the TPTP (and SMT, and SPASS+T)

4. Answer variables

The 1st TPTP Tea Party was in London in 2004. The 2nd TPTP Tea Party was in Tallin in 2005. The 3rd TPTP Tea Party was in Seattle in 2006.

In order to participate, you must be a registered TPTP user (email Geoff Sutcliffe (geoff[@]cs.miami.edu) to be added to this list), and must submit at least one position statement about your work with the TPTP resources. Each position statement must be a separate HTML web page, and must conform roughly to the style of this sample page (copy the source and make your changes). Position statements must be emailed to Geoff Sutcliffe (geoff[@]cs.miami.edu), by 16th April (extensions are always allowed). Every submission will be accepted unless it's way off topic, in which case we'll help you get it right.

The organizers are Geoff Sutcliffe, and Stephan Schulz.

Confirmed participants are:

• Chris Benzmüller
• Simon Colton
• Bernd Fischer
• Thomas Hillenbrand
• Stephan Schulz
• Volker Sorge
• Geoff Sutcliffe
  (Position statements on the TFF and THF syntax, the SZS ontology, arithmetic, answer variables, Proof by Contradiction)