The 1st TPTP Tea Party will be held at Imperial College London 11th August 2004

This workshop will bring together developers and users of TPTP related resources, including (but not limited to):

• The TPTP Problem Library
• The TSTP Solution Library
• The TSTP syntax
• The TSTP Statuses
• System On TPTP
• The CASC system control software
• etc

The workshop 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.

All participants are required to give a 10-15 minute presentation about their work with the TPTP resources. A white board (no OHP or data projector) will be available.

The workshop will be a half day workshop organized as follows:

• Evening of 10th August: Reception
• High noon of 11th August: Lunch
• Afternoon of 11th August: Talks
• Evening of 11th August: Dinner party

Participation is free, but you pay for your own dinner, lunch, beer, accomodation, etc.

The workshop organizers are Geoff Sutcliffe, and Simon Colton.

Confirmed participants are:

• Simon Colton
• Thomas Hillenbrand (Position statement)
• Alison Pease
• Volker Sorge
• Gernot Stenz (Position statement)
• Geoff Sutcliffe (Position statement)

Participants must indicate their intention to attend by providing a one page position statement about their work with the TPTP resources. The statements must conform roughly to the format produced by LaTeX with the following header:

\documentclass[a4paper,11pt]{article}
\textwidth  14.63cm
\textheight 22cm
\oddsidemargin  0.65cm
\evensidemargin 0.65cm
\topmargin  0.55cm
\headheight 0.0pt
\headsep    0.0pt