The 3rd

TPTP Tea Party

will be held at

The 3rd International Joint Conference on Automated Reasoning
20th August 2006 (starting 4:00pm)

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

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. The workshop will be structured discussion following an agenda of topics that have been suggested and agreed upon in advance. The topics so far are:

  1. A type system and syntax for the TPTP.

  2. The higher order TPTP syntax proposals and associated issues.

  3. The XML schema for the TPTP.

  4. The modal logic syntax for the TPTP.

  5. Linking the TPTP and SMTLIB - theories, language, etc.
Further topics may be proposed by emailing Geoff Sutcliffe (geoff[@]cs.miami.edu).

The 1st TPTP Tea Party was in London in 2004. The 2nd TPTP Tea Party was in Tallin in 2005.

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 addressing one of the agenda items. Each position statement must be a separate page, and 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
Position statements in PDF must be emailed to Geoff Sutcliffe (geoff[@]cs.miami.edu), by 14th August. Every submission will be accepted unless it's way off topic, in which case we'll help you get it right.

Organization

The TPTP Tea Party will be organized as follows:

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

The organizers are Geoff Sutcliffe, and Koen Claessen.

Confirmed participants are:

Tea Party Pictures