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:

Recording variable bindings in TPTP format derivations, and their
presentation in
answer extraction.

Participation and Position Statements

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 28th July (extensions are always
negotiable).
Every submission will be accepted unless it's way off topic, in which
case we'll help you get it right.