The 14th TPTP Tea Party
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.
The 2025 TPTPTP will focus on "Representation, Verification, and Visualization of TPTP Format
Proofs and Models" (but other topics might sneak in).
Program
- 08:30-09:00 Welcome coffee
- 09:00-09:10 Geoff - Welcome, thanks, today's mission, flexibility,
Zoom,
cheese and wine.
- 09:10-09:30 Geoff - Review of the TPTP format for derivations
- 09:40-10:10 Martin - Equisatisfiable inferences.
- 10:10-10:30 Michael - What to do with saturations?
- 10:30-11:00 Break
- 11:00-11:30 Geoff - The new TPTP format for interpretations
- 11:30-12:00 Vacant - got something to say?
- 12:00-12:30 Who - Recording details of failed proof verification
- 12:30-14:00 Lunch
- 14:00-14:30 Geoff, Jack, David - StarExec-ARC (in the AWS cloud)
- 14:30-15:00 Vacant - got something to say?
- 15:00-15:30 Vacant - got something to say?
- 15:30-16:00 Geoff, Simon, Julie - The ProoVer Competition at IJCAR 2026.
- 16:00-16:30 Break
- 16:30-17:00 Vacant - got something to say?
- 17:00-18:00 Action planning == Wish list (with cheese and wine)
- Slides
- Email me geoff@tptp.org